Requirements engineering for hard real-time systems. - Marios Piveropoulos (2000)