Heinzemann, Christian: Verification and simulation of self-adaptive mechatronic systems. 2015