Model Based Software Testing And Analysis With C# - Jacky, Jonathan (New York Cambridge University Press, 2008)