Engineering service oriented systems a model driven approach - Karakostas (IGI Publishing, 2008)