PT Journal AU Ziller, R Schneider, K TI Combining supervisor synthesis and model checking SO ACM transactions on embedded computing systems PY 2005 BP 331 EP 362 VL 4 IS 2 DI 10.1145/1067915.1067920 LA english ER