@misc {IOPORT.70107076,
    author       = {Jayaram, K. R. and Eugster, Patrick},
    title        = {Program analysis for event-based distributed systems},
    howpublished = {DEBS, 113-124 (2011).},
    year         = {2011},
    doi          = {10.1145/2002259.2002278},
    identifier   = {70107076},
}