Automatic Translation from Textual Representations of Laws to Formal Models through UML. - Pietro Mercatali; Francesco Romano; Luciano Boschi; Emilio Spinicci (JURIX, 2005)