Model-Based Analysis Of Event-Driven Distributed Real-Time Embedded Systems. by Gabor Madl