B. Dantas, D. Déharbe, S. Galvão, A. Moreira, and V. Medeiros Júnior.
" 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>, Belém/PA, 2008, pp. 195-209.