The ProB Model Checker and Animator