Feng-Shi Su, Pao-Ann Hsiung: Extended quasi-static scheduling for formal synthesis and code generation of embedded software. CODES 2002: 211-216