Jonathan Jacky
-
Specifying a Safety-Critical Control System in Z
IEEE Transactions on Software Engineering