Model Checking's Role Model