Formal Methods to Improve Public Administration Business Processes. - Andrea Polini; Andrea Polzonetti; Barbara Re 001 (RAIRO Theor. Informatics Appl., 2012)