M. Abadi and L. Lamport, Conjoining specifications, ACM Transactions on Programming Languages and Systems, vol.17, issue.3, pp.507-535, 1995.
DOI : 10.1145/203095.201069

J. Abrial, Modeling in Event-B: System and Software Engineering, 2010.
DOI : 10.1017/CBO9781139195881

C. Attiogbé, Event-Based Approach to Modeling Dynamic Architecture: Application to Mobile Adhoc Network, CCIS, vol.17, pp.769-781, 2008.

F. Boulanger, C. Jacquet, C. Hardebolle, and A. Dogui, Heterogeneous model composition in modhel'x: the power window case study, Proceedings of Gemoc 2013, Workshop on the Globalization of Modeling Languages, page 10 pages, 2013.
URL : https://hal.archives-ouvertes.fr/hal-00905075

L. Lamport, The implementation of reliable distributed multiprocess systems, Computer Networks (1976), vol.2, issue.2, pp.95-114, 1978.
DOI : 10.1016/0376-5075(78)90045-4

L. Lamport, Time, clocks, and the ordering of events in a distributed system, Communications of the ACM, vol.21, issue.7, pp.558-565, 1978.
DOI : 10.1145/359545.359563

E. A. Lee, Disciplined Heterogeneous Modeling, Proceedings of the ACM/IEEE 13th International Conference on Model Driven Engineering, Languages, and Systems (MODELS), pp.273-287, 2010.
DOI : 10.1007/3-540-45874-3_2
URL : http://chess.eecs.berkeley.edu/pubs/679/Heterogeneous_Final.pdf

P. Zave and M. Jackson, Conjunction as composition, ACM Transactions on Software Engineering and Methodology, vol.2, issue.4, pp.379-411, 1993.
DOI : 10.1145/158431.158438
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.90.3663