TY - RPRT TI - Extracting Formal Models from Normative Texts AU - John J. Camilleri AU - Normunds Gruzitis AU - Gerardo Schneider PY - 2016 DO - 10.1007/978-3-319-41754-7_40 UR - https://arxiv.org/abs/1607.01485 ID - 1607.01485 ER -