Title: Hscc'14 : 17th International Conference on Hybrid Systems