SysML safety profile for mechatronics | IEEE Conference Publication | IEEE Xplore