Capturing and Verifying Performance Requirements for Hard Real Time Systems. - R. H. Pierce; Sandra Ayache; Roger Ward; John Stevens; Helen Clifton; J. Galle (Ada-Europe, 1997)