FM 2016 : Formal MethodsJohn Fitzgerald, Constance Heitmeyer, Stefania Gnesi, Anna Philippou · First published 2016Open the Tome
Formal methods for real-time computingConstance Heitmeyer, Dino Mandrioli · First published 1996Open the Tome
An approach to describing the functional requirements of an embedded communication systemConstance L Heitmeyer · First published 1982Open the Tome
