Verification and Validation of Real-Time SoftwareWilliam J. Quirk · First published 1985Open the Tome
Results of the 1978-79 consensus forecast experimentWilliam J Quirk · First published 1979Open the Tome
The formal specification of the requirements of complex real-time systemsWilliam J. Quirk · First published 1977Open the Tome