Design methods for reactive systems : - Wieringa, Roel (Morgan Kaufmann, 2003)