Design Methods for Reactive Systems door Pavlidis & Roel J. Wieringa