Formal Development of Reactive Systems
Subtitle: Case Study Production Cell
Publisher: Springer-Verlag
Published: January 1995
ISBN-13: 9780387588674
First sentence: A recent report based on a questionnaire [1] authored by the British National Physical Laboratory (NPL) argued that one of the major impediments to formal methods gaining broader acceptance in industry is the lack of realistic, comparative surveys.