Bhaskar Bose M. Esen Tuna Steven D. Johnson System Factorization in Codesign: A Case Study of the Use of Formal Techniques to Achieve Hardware-Software Decomposition. 458-461 1993 ICCD db/conf/iccd/iccd1993.html#BoseTJ93