A Methodology for Formal Modeling and Evaluation of the Judicial Process. - Angelo Ambrisi; Rocco Aversa; Marta Maurino; Salvatore Venticinque (CISIS, 2023)