Certifying Rule-Based Models using Graph Transformation by Leen Lambers