From the reviews:


"The present volume is the second one of a trilogy on formal development of large scale systems. Each topic is presented by means of many examples . The end of each chapter includes several exercises that demonstrate the topics in a more realistic setting. The quite large spectrum of modelling and specification tools provide the reader with a comprehensive understanding . the book appeals to researchers and to practitioners involved in language specification and modelling of real time and concurrent systems." (Tudor Balanescu, Zentralblatt MATH, Vol. 1095 (21), 2006)