Introducing the modeling and verification process in SysML | IEEE Conference Publication | IEEE Xplore