Meta-Modelling, Graph Transformation and Model Checking for the Analysis of Hybrid Systems