@article{CGP99,
title = {Automatic Distribution of Reactive Systems for Asynchronous Networks of Processors },
author = {Caspi, Paul and Girault, Alain and Pilaud, Daniel},
year = {1999},
journal = {IEEE Transactions on Software Engineering},
number = {3},
volume = {25},
team = {SYNC},
}
