Martina Seidl Assistant Professor at the Institute for Formal Models and Verification, Johannes Kepler University Homepage Publications