@article {337,
	title = {Dynamite: A tool for the verification of alloy models based on PVS},
	journal = {{ACM} Trans. Softw. Eng. Methodol.},
	volume = {23},
	year = {2014},
	pages = {20},
	doi = {10.1145/2544136},
	url = {http://doi.acm.org/10.1145/2544136},
	author = {Mariano M. Moscato and Carlos Gustavo L{\'o}pez Pombo and Frias, Marcelo F.}
}