Verification of concurrent systems: function and timing (1981)

by W T Overman