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