Dirk Beyer Andreas Noack BDD-basierte Verifikation von Echtzeit-Systemen. 79-89 2000 conf/fbt/2000 FBT db/conf/fbt/fbt2000.html#BeyerN00