A model of the F18 mission computer software for pre-run-time scheduling | IEEE Conference Publication | IEEE Xplore