Model-Based Structured Requirements in SysML | IEEE Conference Publication | IEEE Xplore