Hscc 11 Proceedings of the 14th International Conference on Hybrid Systems: Computation and Control (Paperback)