Title: An implementable formal language for hard real-time systems
First published: 1995