Verification and simulation of self-adaptive mechatronic systems / Christian Heinzemann