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