Certifying Rule-Based Models using Graph Transformation door Leen Lambers