Design, verification, and performance of a MODBUS-CAN adaptation layer