Formal verification for analysis and design of logic controllers for reconfigurable machining systems | IEEE Journals & Magazine | IEEE Xplore