Practical Model-Based Testing: A Tools Approach

This website has moved to http://www.cs.waikato.ac.nz/research/mbt