SysML fault modelling in a traffic management system of systems | IEEE Conference Publication | IEEE Xplore