Khaled Mahbub: Runtime monitoring of service based systems. City University London, UK 2006