Manzer, Ayesha: Integration von Prozessen mit formalen Methoden