Gianfranco Lamperti, Xiangfu Zhao. Specification and Model-Based Diagnosis of Higher-Order Discrete-Event Systems. In IEEE International Conference on Systems, Man, and Cybernetics, Manchester, SMC 2013, United Kingdom, October 13-16, 2013. pages 2342-2347, IEEE, 2013. [doi]
Abstract is missing.