Systems and software verification: model-checking techniques and tools by Bérard, Béatrice 0 Type: Book
Applying use cases: a practical guide by Schneider, Geri, Winters, Jason P. fromThe Addison-Wesley object technology series 0 Type: Book
