Developing a formal specification for the mission system of a maritime surveillance aircraft | IEEE Conference Publication | IEEE Xplore