Mission generation system (MGS): an application of Shlaer-Mellor's object-oriented method | IEEE Conference Publication | IEEE Xplore