Using Obstacle Analysis to Support SysML-Based Model Testing for Cyber Physical Systems | IEEE Conference Publication | IEEE Xplore