Formal modeling with SysML | IEEE Conference Publication | IEEE Xplore