Steven Paul Bradley

• An implementable formal language for hard real-time systems