Program analysis for event-based distributed systems
the jedi event - based infrastructure and its application to the development of the opss wfms .