Verification and Validation of a model dedicated to mode handling of manufacturing systems | IEEE Conference Publication | IEEE Xplore