Almeida, H., 		Oliveira, E., 		Barbosa, N., 		Bublitz, F., 		da Silva, L., & 		Perkusich, A.
(2005).
 Modeling and Formal Verification of Component-Based Information Systems.
In <em>Proceedings of the 2nd Brazilian Symposium on Information Systems</em>, (pp. 272-279). Porto Alegre: SBC.
doi:10.5753/sbsi.2005.14994