Title: The development of hard real-time systems using a formal approach