SALmon A Service Modeling Language and Monitoring Engine. - Viktor Leijon; Stefan Wallin; Johan Ehnmark (SOSE, 2008)