Modeling Event Driven Systems for Integration Testing