These directories contain some of the samples from the book,

 Model-based Software Testing and Analysis with C#
 Jonathan Jacky, Margus Veanes, Colin Campbell, and Wolfram Schulte
 Cambridge University Press, 2008

For more explanations and directions about these samples see

 http://staff.washington.edu/jon/modeling-book/mbta-directions.html

Other samples are at the NModel web site, http://www.codeplex.com/NModel
 Download: Releases tab -> Samples.zip 
 Explanation: NModel Examples link, in list near bottom of page
