@article{BJS10,
title = {Source-to-Source Architecture Transformation for Performance Optimization in BIP },
author = {Bozga, Marius and Jaber, Mohamad and Sifakis, Joseph},
year = {2010},
journal = {IEEE Trans. Industrial Informatics},
number = {4},
pages = {708-718},
volume = {6},
team = {DCS, RSD},
}