Reactive Systems: Modelling, Specification and Verification; is written by L. Aceto, et al; and published by Cambridge University Press; distributed by Cambridge University Press; (c) 2007, (hardback), ISBN 978-0-521-87546-2, pp. 300.