"DynAlloy: upgrading alloy with actions."

Marcelo F. Frias et al. (2005)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics