Optimization of Timed Automata by Branch-and Bound Techniques powerpoint demo Olaf Stursberg
Real-Time Testing pdf Brian Nielsen
Questions on the AXXOM case study powerpoint Angelika Mader
Dynamic Voltage Scaling using Optimal Infinite Scheduking powerpoint Kim Larsen
Terma VHDL   Gerd Behrmann
Formal model of Real-time Service Allocation for Car Periphery Supervision gzipped postscript Biniam Gebremichael
Computing maximal probabilities for timed reachability in CTMDPs postscript Joost-Pieter Katoen