A framework for experimenting with model-based error detection by C. Nair