An Integrated Model-Driven Approach for Mechatronic Systems Testing | IEEE Conference Publication | IEEE Xplore