Formal Methods in the Specification of Real-Time, Safety-Critical Control Systems.

Alastair R. Ruddle Formal Methods in the Specification of Real-Time, Safety-Critical Control Systems. 131-146 1992 conf/zum/1992 Z User Workshop db/conf/zum/zum1992.html#Ruddle92