Model-based operational-functional unified specification for mission systems | IEEE Conference Publication | IEEE Xplore