Added reading assignment to Model Checking notebook