Exploring SysML v2 for Model-Based Engineering of Safety-Critical Avionics Systems | IEEE Conference Publication | IEEE Xplore