Diagnosable-by-Design Model-Driven Development for IEC 61499 Industrial Cyber-Physical Systems | IEEE Conference Publication | IEEE Xplore