MBSE-based functional hazard assessment of civil aircraft braking system | IEEE Conference Publication | IEEE Xplore