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