Marius Bozga, Mohamad Jaber, Nikolaos Maris, Joseph Sifakis. Modeling Dynamic Architectures Using Dy-BIP. In Thomas Gschwind, Flavio De Paoli, Volker Gruhn, Matthias Book, editors, Software Composition - 11th International Conference, SC 2012, Prague, Czech Republic, May 31 - June 1, 2012. Proceedings. Volume 7306 of Lecture Notes in Computer Science, pages 1-16, Springer, 2012. [doi]
Abstract is missing.