GCCS: A Graphical Coordination Language for System Specification.

Rance Cleaveland, Xiaoqun Du, Scott A. Smolka

Browse the full Coordination paper archive.