Formal Methods to Improve Public Administration Business Processes Andrea Polini, Andrea Polzonetti and Barbara Re RAIRO-Theor. Inf. Appl., 46 2 (2012) 203-229 Published online: 21 February 2012 DOI: 10.1051/ita/2012002