Marcelo F. Frias Carlos López Pombo Juan P. Galeotti Nazareno Aguirre Efficient Analysis of DynAlloy Specifications. 2007 17 ACM Trans. Softw. Eng. Methodol. 1 http://doi.acm.org/10.1145/1314493.1314497 db/journals/tosem/tosem17.html#FriasPGA07