Behavior-preserving abstraction of ESTEREL programs. - Nir Koblenc; Shmuel S. Tyszberowicz (FedCSIS, 2015)