A GALS language for dynamic distributed and reactive programsAvinash MalikAlain Giraultet al.2011ACSD 2011