Concurrency : state models and Java programs. - Magee, Jeff,; Kramer, Jeff, (Wiley,, 2006)