Added project data; tweaks to model checking notebook