I. S.  Bajwa, Bordbar, B., Lee, M., and Anastasakis, K., ?NL2 Alloy: A tool to generate alloy from NL constraints?, Journal of Digital Information Management, vol. 10, no. 6, pp. 365 - 372, 2012.