Formal verification of Intelligent Mechatronic Systems with decentralized control logic | IEEE Conference Publication | IEEE Xplore