Reliable Software Development: Analysis-Aware Design.

Gerard J. Holzmann

Browse the full TACAS paper archive.