The 14 papers presented in this volume were carefully reviewed and selected from 32 initial submissions. They are organized in topical sections entitled: modeling timed phenomena; shasticity and hybrid control; real-time verification and synthesis; workload analysis.