Jui-Ming Chang, Massoud Pedram: Codex-dp: Co-design of Communicating Systems Using Dynamic Programming. DATE 1999: 568-