Zoltán Ádám Mann András Orbán Péter Arató Finding optimal hardware/software partitions. 241-263 2007 31 Formal Methods in System Design 3 http://dx.doi.org/10.1007/s10703-007-0039-0 db/journals/fmsd/fmsd31.html#MannOA07