sur 16
Industrial Applications of Formal Methods to Model, Design and Analyze Computer Systems — Dan Craigen, Susan Gerhart