Roberto Ziller, Klaus Schneider. A $\mu$-Calculus Approach to Supervisor Synthesis. In Rolf Drechsler, editor, Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), Bremen, Germany, February 24-25, 2003. pages 132-143, Shaker, 2003.
Abstract is missing.