1) Concurrency: State Models and Java Programs

• by Jeff Magee and Jeff Kramer
• Publisher: Wiley 2006

• ISBN: 0470093552

2) Logic in computer science : Modelling and reasoning about systems,

by Michael Huth, Mark Ryan

Publisher: Cambridge University Press, 2004

ISBN: 052154310X

3) OCL Specification from OMG's Website

4) The SPIN Model Checker: Primer and Reference Manual

by  Gerard J. Holzmann

Publisher: Addison-Wesley, 2003.

ISBN: 0321228626

5) Software Cost Reduction (SCR)

6) Design Patterns: Elements of Reusable Object-Oriented Software

by Gamma et al.

Publisher: Addison-Wesley, 1995.

ISBN: 0-201-63361-2