Design-to-Test Approach for Programmable Controllers in Safety-Critical Automation Systems | IEEE Journals & Magazine | IEEE Xplore