A Model-Based Approach to Calculate Maintainability Task Lists of PLC Programs for Factory Automation | IEEE Conference Publication | IEEE Xplore