Leila Silva Augusto Sampaio Edna Barros A Constructive Approach to Hardware/Software Partitioning. 45-90 2004 24 Formal Methods in System Design 1 http://dx.doi.org/10.1023/B:FORM.0000004787.52329.98 db/journals/fmsd/fmsd24.html#SilvaSB04