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