Methods and tools for reporting SLAs in IT and process outsourcing scenarios (main partners: Italian Railways and Italian Postal Services)