A Practical Theory of Reactive Systems innbundetEngelsk, 2005