Rapide [#!Luchham:1996!#] intended to support the specification, analysis, and verification of system architectures composed of event processing components.
