FORMAL METHODS IN SYSTEMS ENGINEERING - Peter No Ryan,Chris No Sennett; Sennett,Chris (Springer-Verlag, London, 1993)
Keywords: Systems Engineering