Jean-Luc Béchennec, Didier Lime, Olivier H. Roux. Control of DES with Urgency, Avoidability and Ineluctability. In 19th International Conference on Application of Concurrency to System Design, ACSD 2019, Aachen, Germany, June 23-28, 2019. pages 92-101, IEEE, 2019. [doi]
Abstract is missing.