Authors: David Harel, Assaf Marron, Gera Weiss - Communications of the ACM, CACM 2012 cited by 137
A novel paradigm for programming reactive systems centered on naturally specified modular behavior.
