Moritz Löser Martin Leucker Dirk Nowotka Joachim Rischen Äquivalenzklassen mit Zeit und Zuständen. 87-90 2009 Informatiktage conf/informatiktage/2009 db/conf/informatiktage/informatiktage2009.html#LoserLNR09