Compositional specification of event-based software architectural styles | IEEE Conference Publication | IEEE Xplore