@misc{indiciae247438bb9c71, title = {Flight software requirements and design support system}, author = {Riddle, W. E. and Edwards, B.}, year = {1980}, url = {https://ntrs.nasa.gov/citations/19800021560}, note = {Source identifier: 19800021560} }