Automated Verification of UML Models of Services (2009)

by Federico Banti, Rosario Pugliese, Francesco Tiezzi