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