Added link to model checking notebook