*This work has been partially founded by EU project LearnPAd (GA:619583).
Formal Methods & Tools Group Institute of information science and technologies "Alessandro Faedo"
Computer Science Division University of Camerino
Maintained by PROS Lab - Processes and Services Laboratory