A Practical Theory of Reactive Systems - Kurki-Suonio, Reino; Kurki-Suonio, R.; Rozenberg, Grzegorz; Salomaa, Arto (Springer Berlin Heidelberg, 2005)