@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.} }