Logic and real-time systems. - Alan C. Brown (1993)