Model-based validation of CANopen systems | IEEE Conference Publication | IEEE Xplore