The genesis of a formal tool for reasoning about Flight Software cost analysis | IEEE Conference Publication | IEEE Xplore