Email Record: The spin model checker :