Real-time systems formal specification and automatic verification - Olderog, E.-R (Cambridge University Press, 2008)