selected publications chapter Designing an embedded hard real-time system: A case study. Lecture Notes in Computer Science. 1997