Cleanroom software engineering for flight systems: A preliminary report | IEEE Conference Publication | IEEE Xplore