PT Unknown AU Mari, F Melatti, I Salvo, I Tronci, E TI Linear Constraints as a Modeling Language for Discrete Time Hybrid Systems SE Proceedings of ICSEA 2012, The Seventh International Conference on Software Engineering Advances PY 2012 BP 664 EP 671 ER