Nils Buhrke Wolfgang Thomas Jens Vöge Ein inkrementeller Ansatz zur effizienten Synthese von Controllern aus Spezifikationen mit temporaler Logik. 99-108 1997 conf/fbt/1997 FBT db/conf/fbt/fbt1997.html#BuhrkeTV97