Verification and simulation of self-adaptive mechatronic systems / Christian Heinzemann. Paderborn : Heinz Nixdorf Institut, Universität Paderborn, [2015]