Sebastian Bauer, Rolf Hennicker, and Axel Legay. A Meta-Theory for Component Interfaces with Contracts on Ports. Science of Computer Programming, 2013. (doi:10.1016/j.scico.2013.09.013)
Michal Malohlava, Frantisek Plasil, Tomas Bures, and Petr Hnetynka. Interoperable domain-specific languages families for code generation. Software: Practice and Experience, 43(5):479–499, 2013. (doi:10.1002/spe.2118)
Serge Haddad, Rolf Hennicker, and Mikael H. Møller. Specification of Asynchronous Component Systems with Modal I/O-Petri Nets. In Martin Abadi and Alberto Lluch Lafuente, editors, Trustworthy Global Computing, LNCS. Springer, 2013.
Ahlem Triki, Jacques Combaz, Saddek Bensalem, and Joseph Sifakis. Model-Based Implementation of Parallel Real-Time Systems. In FASE, Lecture Notes in Computer Science, pages 235–249. Springer, 2013. (doi:10.1007/978-3-642-37057-1_18)