selected publications academic article Event-driven modeling and testing of real-time web services. Service-oriented computing and applications. 4:3-15. 2010