An MDD process for IEC 61131-based industrial automation systems | IEEE Conference Publication | IEEE Xplore