A practical theory of reactive systems : incremental modeling of dynamic behaviors - Kurki-Suonio, Reino (Texts in theoretical computer science, 2005)