selected publications academic article Design and formal model of an event-driven and service-oriented architecture for the Mobile Tourist Information System TIP. . 2008 conference paper Event-based communication for location-based service collaboration. Australasian Database Conference. 125-134. 2009