Sahar Mohajerani, Robi Malik, Martin Fabian. Nondeterminism avoidance in compositional synthesis of discrete event systems. In IEEE Conference on Automation Science and Engineering, CASE 2011, Trieste, Italy, Aug. 24-27, 2011. pages 19-24, IEEE, 2011. [doi]
Abstract is missing.