Jeremy Dick, Eoin Woods: Lessons learned from rigorous system software development. Inf. Softw. Technol. 39(8): 551-560 (1997)