An implementable formal language for hard real-time systems. - Steven Paul Bradley (1995)