Fadi A. Zaraket John Pape Adnan Aziz Margarida F. Jacome Sarfraz Khurshid Global Optimization of Compositional Systems. 93-100 2007 conf/fmcad/2007 FMCAD http://doi.ieeecomputersociety.org/10.1109/FMCAD.2007.27 db/conf/fmcad/fmcad2007.html#ZaraketPAJK07