Using XML to implement abstraction for Model Checking | Publicación