Geguang Pu Chong Zhang Zongyan Qiu Zuoquan Lin Jifeng He A Hybrid Heuristic Algorithm for HW-SW Partitioning Within Timed Automata. 459-466 2006 conf/kes/2006-1 KES (1) http://dx.doi.org/10.1007/11892960_56 db/conf/kes/kes2006-1.html#PuZQLH06