Formal methods to improve public administration business processes