Automated model-driven testing of service-oriented software - Harun, Muhammad Firdaus (2009)