Federico Mari, Igor Melatti, Ivano Salvo, and Enrico Tronci. "Linear Constraints and Guarded Predicates as a Modeling Language for Discrete Time Hybrid Systems." _International Journal on Advances in Software_ vol. 6, nr 1&2 (2013): 155–169. IARIA. ISSN: 1942-2628.