He works in schedulability analysis for distributed real-time systems. He is a co-author of "A Practitioner's Handbook on Real-Time Analysis". He has been involved in several projects using Ada to build real-time controllers for robots. Michael is an active member of the POSIX real-time working group. He is the Technical Editor of the IEEE POSIX.1d and IEEE POSIX.1j standards. He is currently leading two projects