Ramesh Bharadwaj Supratik Mukhopadhyay A Formal Approach to Developing Reliable Event-Driven Service-Oriented Systems. 227-230 2008 COMPSAC http://doi.ieeecomputersociety.org/10.1109/COMPSAC.2008.87 conf/compsac/2008 db/conf/compsac/compsac2008.html#BharadwajM08