Maarten Wiggers
EMSOFT 2012: 12th International Conference on Embedded Software
Compositional Temporal Analysis Model for Incremental Hard Real-Time System Design
EMSOFT 2009: 9th ACM & IEEE International Conference on Embedded Software
Monotonicity and Run-Time Scheduling