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