Juan de Lara, Esther Guerra, Hans Vangheluwe. Meta-Modelling, Graph Transformation and Model Checking for the Analysis of Hybrid Systems. In John L. Pfaltz, Manfred Nagl, Boris Böhlen, editors, Applications of Graph Transformations with Industrial Relevance, Second International Workshop, AGTIVE 2003, Charlottesville, VA, USA, September 27 - October 1, 2003, Revised Selected and Invited Papers. Volume 3062 of Lecture Notes in Computer Science, pages 292-298, Springer, 2003. [doi]
Abstract is missing.