HSCC'14 proceedings of the 17th International Conference on Hybrid Systems : Computation and Control (part of CPS Week) : April 15-17, 2014, Berlin, Germany (Association for Computing Machinery, 2014)