Title: A programming environment for real-time systems
First published: 1987