On the Integration of Modular Heterogeneous Specifications | Publicación