Title: A survey of formal methods for real time systems
First published: 1993