An exercise in model-based test automation