Title: The design of software for real time systems and the applications of MASCOT
First published: 1982