Vadim Alimguzhin, Federico Mari, Igor Melatti, Ivano Salvo, and Enrico Tronci. _Automatic Control Software Synthesis for Quantized Discrete Time Hybrid Systems_. Vol. abs/1207.4098. CoRR, Technical Report, 2012. http://arxiv.org/abs/1207.4098 (accessed May 4, 2024).