Dantas, B., 		Déharbe, D., 		Galvão, S., 		Moreira, A., & 		Medeiros Júnior, V.
(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>, (pp. 195-209). Porto Alegre: SBC.