Cheng-Tsung Hwang Jiahn-Humg Lee Yu-Chin Hsu A formal approach to the scheduling problem in high level synthesis. 464-475 1991 10 IEEE Trans. on CAD of Integrated Circuits and Systems 4 http://doi.ieeecomputersociety.org/10.1109/43.75629 db/journals/tcad/tcad10.html#HwangLH91