Ibrahim, H.; Dague, P.; Grastien, A.; Ye, L.; Simon, L. Diagnosability Planning for Controllable Discrete Event Systems. AAAI 2017, 31.