@INPROCEEDINGS{khlif2014graph,
	author = {Houda Khlif and Hatem Hadj Kacem and Saul E Pomares Hernandez and Cédric Eichler and Ahmed Hadj Kacem and Alberto
	Calixto Simon},
	title = {A Graph Transformation-based Approach for the Validation of Checkpointing Algorithms in Distributed Systems},
	booktitle = {Proceedings of the 23nd IEEE International Workshop on Enabling Technologies: Infrastructure for Collaborative Enterprises},
	year = {2014},
	publisher = {IEEE Computer Society},
}