Frias, et al.. Reasoning About Static and Dynamic Properties in Alloy. Association for Computing Machinery (ACM), Oct. 2005, doi:10.1145/1101815.1101819.