Äquivalenzklassen mit Zeit und Zuständen. - Moritz Löser; Martin Leucker; Dirk Nowotka; Joachim Rischen (Informatiktage, 2009)

Klassifikationsbäume in Echtzeit. - Martin Leucker; Moritz Löser; Dirk Nowotka; Joachim Rischen (Softwaretechnik-Trends, 2009)