They write the right stuff: software engineering for the Space Shuttle [pdf]