Verifying correctness of interfaces of design models of manufacturing systems using functional abstractions | IEEE Journals & Magazine | IEEE Xplore