A unified model checking framework for the supervisor synthesis problem.

Andreas Morgenstern Klaus Schneider A unified model checking framework for the supervisor synthesis problem. 140-156 2005 conf/galop/2005 GALOP db/conf/galop/galop2005.html#MorgensternS05