A Practical Theory of Reactive Systems Incremental Modeling of Dynamic Behaviors - Kurki-Suonio, Reino (Springer-Verlag Berlin Heidelberg, 2005)