An Esterel compiler for large control-dominated systems | IEEE Journals & Magazine | IEEE Xplore