J. J. Camilleri, N. Gruzitis, and G. Schneider. Extracting formal models from normative texts. Natural Language Processing and Information Systems, Springer, volume 9612, 2016.