Real-time systems : formal specification and automatic verification - Olderog, Ernst-Rüdiger; Dierks, Henning, 1970- (Cambridge University Press, 2008)