Automatic distribution of reactive systems for asynchronous networks of processors. - Caspi, Paul; Girault, Alain; Pilaud, Daniel (IEEE Transactions on Software Engineering, 1999)