2 books in this genre
Flight management systems
Samuel B. Fishbein
An Assessment of Space Shuttle Flight Software Development Processes
National Research Council (US)