Elspeth Cusack Formal Design and Development of Ada Real-Time Embedded Systems. 71-83 1988 conf/facs/1988 Specification and Verification of Concurrent Systems db/conf/facs/facs1988.html#Cusack88