Marius Bozga Mohamad Jaber Joseph Sifakis Source-to-source architecture transformation for performance optimization in BIP. 152-160 2009 SIES http://dx.doi.org/10.1109/SIES.2009.5196211 conf/sies/2009 db/conf/sies/sies2009.html#BozgaJS09