Susan Stepney;Rosalind Barden;David Cooper
-;-;-
Specifying a Safety-Critical Control System in Z
IEEE Transactions on Software Engineering