Runtime Monitoring of Contract Regulated Web Services - Lomuscio,A; Penczek,W; Solanki,M; Szreter,M (FUNDAMENTA INFORMATICAE, 2011)