Modulares Beweisen temporallogischer Eigenschaften paralleler Programme - Bäumler, Simon 1974- (2010)