ProB Examples - ProB Documentation