H. Ibrahim, P. Dague, A. Grastien, L. Ye, and L. Simon, “Diagnosability Planning for Controllable Discrete Event Systems”, AAAI, vol. 31, no. 1, Feb. 2017.