@article{BBJ+12,
title = {A framework for automated distributed implementation of component-based models },
author = {Bonakdarpour, Borzoo and Bozga, Marius and Jaber, Mohamad and Quilbeuf, Jean and Sifakis, Joseph},
year = {2012},
journal = {Distributed Computing},
number = {5},
pages = {383-409},
volume = {25},
team = {DCS, RSD},
}