D. Scholefield;H. Zedan
University Of York, Heslington, York;University Of York, Heslington, York
Temporal logic for real time systems