Model-based design of airborne equipment vulnerability management and alarm system | IEEE Conference Publication | IEEE Xplore