February 2013: “Linear Constraints and Guarded Predicates as a Modeling Language for Discrete Time Hybrid Systems“, an article of Federico Mari, Igor Melatti, Ivano Salvo and Enrico Tronci has been published on International Journal on Advances in Software.
Full article details are available here.