@book{173937, author = {Kurki-Suonio, Reino. and SpringerLink (Online service)}, title = {A Practical Theory of Reactive Systems}, publisher = {Springer Berlin Heidelberg,}, year = {2005.}, series = {Texts in Theoretical Computer Science An EATCS Series}, address = {Berlin, Heidelberg :}, url = {http://dx.doi.org/10.1007/b138956} }