Using XML to implement abstraction for Model Checking. - María-del-Mar Gallardo; Jesús Martínez; Pedro Merino 001; Estefanía Rosales (SAC, 2002)