Safety SysML: An Executable Safety-Critical Avionics Requirement Modeling Language | IEEE Conference Publication | IEEE Xplore