Towards an automated tool for software certification. - Dimitris Christodoulakis; Christos Tsalidis; C. J. M. van Gogh; V. W. Stinesen (TAI, 1989)