Dantas, B., 		Déharbe, D., 		Galvão, S., 		Moreira, A., AND 		Medeiros Júnior, V..
" Proposal and Evaluation of a Trustworthy Software Development Approach by Construction Using the B Method" <em>Proceedings of the Integrated Software and Hardware Seminar (SEMISH)</em> [Online], (12 July 2008)