Formal methods in systems engineering /
Ryan, Peter.
Sennett, Chris.
London : Springer-Verlag,
1993.