A Practical Theory of Reactive Systems - inbunden, Engelska, 2005