Almeida, Hyggo, Elthon Oliveira, Nádia Barbosa, Frederico Bublitz, Leandro da Silva, and Angelo Perkusich.
" Modeling and Formal Verification of Component-Based Information Systems." <em>Proceedings of the 2nd Brazilian Symposium on Information Systems,
Florianópolis, 2005</em>. SBC, 2005,  
pp.272-279.