An introduction to practical formal methods using temporal logic - Fisher, Michael 1962- (Chichester, West Sussex, U.K. Wiley, 2011)
Dr. Jaime DL. Caro (recommending faculty)
Keywords: Temporal automata; Logic, Symbolic and mathematical