B. Dantas, D. Déharbe, S. Galvão, A. Moreira, and V. Medeiros Júnior. 2008.
 Proposal and Evaluation of a Trustworthy Software Development Approach by Construction Using the B Method. In <em>Proceedings of the 35th Integrated Software and Hardware Seminar</em>, July 12, 2008, Belém/PA, Brasil. SBC, Porto Alegre, Brasil, 195-209.