A Methodological Approach to Model-Driven Design and Development of Automation Systems | IEEE Journals & Magazine | IEEE Xplore