A Practical Theory of Reactive Systems Incremental Modeling of Dynamic Behaviors - Kurki-Suonio, Reino (Texts in Theoretical Computer Science An EATCS Series, 2005)