The original edition of this book was published in 1996 by Prentice
Hall International, London, under ISBN 0-13-455297-0.
This 2001 version incorporates corrections to and changes from the original edition. This version is made available for research, teaching and personal use only.
A zipped pdf version of the whole book is available via the following link (size 1.3MB): Real-Time Systems: Specification, Verification and Analysis.