Certifying rule-based models using graph transformation - Lambers, Leen (Verfasser) (Technische Universität Berlin, 2009)