Formal specification in the development of industrial applications: Subway speed control system. - Clara DaSilva; Babak Dehbonei; Fernando Mejia (FORTE, 1992)

Error-free software development for critical systems using the B-Methodology. - Michel Carnot; Clara DaSilva; Babak Dehbonei; Fernando Mejia (ISSRE, 1992)