A formally verified sequentializer for lustre-like concurrent synchronous data-flow programs. - Gang Shi; Yuanke Gan; Shu Shang; Shengyuan Wang 001; Yuan Dong; Pen-Chung Yew (ICSE (Companion Volume), 2017)