Title: Software engineering for real time systems
First published: 1989