Model-Based Software Testing and Analysis with C#: A Model-based Approach Using SpecExplorer
Process Patterns: Building Large-Scale Systems Using Object Technology (SIGS: Managing Object Technology)
