Title: A refinement calculus for real-time systems
First published: 1992