@article(iautomata,
 author       = {Luca de Alfaro and Thomas A. Henzinger},
 year         = {2001},
 title        = {Interface Automata},
 journal      = {SIGSOFT Softw. Eng. Notes},
 volume       = {26},
 number       = {5},
 pages        = {109--120},
 doi          = {10.1145/503271.503226},
)
@techreport(INTOCPSD2.1a,
 author       = {N. Amalio and R. Payne and A. Cavalcanti and E. Brosse},
 year         = {2015},
 title        = {{Foundations of the SysML profile for CPS modelling}},
 type         = {Technical Report},
 institution  = {{INTO-CPS} Deliverable, D2.1a},
)
@inproceedings(arnoldetal,
 author       = {A. Arnold and B. Boyer and A. Legay},
 year         = {2013},
 title        = {Contracts and Behavioral Patterns for SoS: The EU IP DANSE approach},
 editor       = {Kim G. Larsen and Axel Legay and Ulrik Nyman},
 booktitle    = {{\rm Proceedings 1st Workshop on} Advances in Systems of Systems, {\rm Rome, Italy, 16th March 2013}},
 series       = {Electronic Proceedings in Theoretical Computer Science},
 volume       = {133},
 publisher    = {Open Publishing Association},
 pages        = {47--66},
 doi          = {10.4204/EPTCS.133.6},
)
@inproceedings(sose,
 author       = {J. Bryans and J. Fitzgerald and R. Payne and A. Miyazawa and K. Kristensen},
 year         = {2014},
 title        = {SysML contracts for systems of systems},
 booktitle    = {System of Systems Engineering (SOSE), 2014 9th International Conference on},
 doi          = {10.1109/SYSOSE.2014.6892466},
)
@inproceedings(semiformal,
 author       = {J. Bryans and R. Payne and J. Holt and S. Perry},
 year         = {2013},
 title        = {Semi-formal and formal interface specification for system of systems architecture},
 booktitle    = {Systems Conference (SysCon), 2013 IEEE International},
 pages        = {612--619},
 doi          = {10.1109/SysCon.2013.6549946},
)
@article(maintainingesos,
 author       = {Jeremy Bryans and John Fitzgerald and Richard Payne and Klaus Kristensen},
 year         = {2014},
 title        = {2.2.2 Maintaining Emergence in Systems of Systems Integration: a Contractual Approach using SysML},
 journal      = {INCOSE International Symposium},
 volume       = {24},
 number       = {1},
 pages        = {166--181},
 doi          = {10.1002/j.2334-5837.2014.tb03142.x},
)
@inproceedings(Champlain97thecontract,
 author       = {Michel De Champlain},
 year         = {1997},
 title        = {The Contract Pattern},
 booktitle    = {In Proceedings of Pattern Languages of Program Design 4 (PLoPD4)},
 doi          = {10.1.1.38.3112},
)
@article(CHOUALI20103,
 author       = {S. Chouali and H. Mountassir and S. Mouelhi},
 year         = {2010},
 title        = {An I/O Automata-based Approach to Verify Component Compatibility: Application to the CyCab Car},
 journal      = {Electronic Notes in Theoretical Computer Science},
 volume       = {238},
 number       = {6},
 pages        = {3 -- 13},
 doi          = {10.1016/j.entcs.2010.06.002},
)
@inproceedings(Dahmann&08a,
 author       = {J. S. Dahmann and K. J. Baldwin},
 year         = {2008},
 title        = {Understanding the Current State of US Defense Systems of Systems and the Implications for Systems Engineering},
 booktitle    = {2008 2nd Annual IEEE Systems Conference},
 pages        = {1--7},
 doi          = {10.1109/SYSTEMS.2008.4518994},
)
@book(Fitzgerald:2005:VDO:1044891,
 author       = {J. Fitzgerald and P.G. Larsen and P. Mukherjee and N. Plat and M. Verhoef},
 year         = {2005},
 title        = {Validated Designs For Object-oriented Systems},
 publisher    = {Springer-Verlag TELOS},
 address      = {Santa Clara, CA, USA},
 doi          = {10.1007/b138800},
)
@book(Hoare:1985:CSP:3921,
 author       = {C.A.R. Hoare},
 year         = {1985},
 title        = {Communicating Sequential Processes},
 publisher    = {Prentice-Hall, Inc.},
 address      = {Upper Saddle River, NJ, USA},
)
@article(modelbased,
 author       = {C. Ingram and R. Payne and J. Fitzgerald and L.D.Couto},
 year         = {2015},
 title        = {Model-based Engineering of Emergence in a Collaborative SoS: Exploiting SysML and Formalism},
 journal      = {INCOSE International Symposium},
 volume       = {25},
 number       = {1},
 pages        = {404--419},
 doi          = {10.1002/j.2334-5837.2015.00071.x},
)
@article(Ingram&15a,
 author       = {Claire Ingram and Richard Payne and John Fitzgerald},
 year         = {2015},
 title        = {Architectural Modelling Patterns for Systems of Systems},
 journal      = {INCOSE International Symposium},
 volume       = {25},
 number       = {1},
 pages        = {1177--1192},
 doi          = {10.1002/j.2334-5837.2015.00123.x},
)
@manual(ISO15288,
 organization = {{ISO/IEC/IEEE}},
 year         = {{2015}},
 title        = {{15288:2015 Systems and software engineering -- System life cycle processes}},
)
@article(Maier98,
 author       = {M.W. Maier},
 year         = {1998},
 title        = {{Architecting Principles for Systems-of-Systems}},
 journal      = {Systems Engineering},
 volume       = {1},
 number       = {4},
 pages        = {267--284},
 doi          = {10.1002/(SICI)1520-6858(1998)1:4<267::AID-SYS3>3.0.CO;2-D},
)
@book(Meyer88,
 author       = {B. Meyer},
 year         = {1988},
 title        = {{Object-oriented Software Construction}},
 publisher    = {Prentice-Hall International},
)
@article(Meyer:1992:ADC:618974.619797,
 author       = {Bertrand Meyer},
 year         = {1992},
 title        = {Applying "Design by Contract"},
 journal      = {Computer},
 volume       = {25},
 number       = {10},
 pages        = {40--51},
 doi          = {10.1109/2.161279},
)
@article(Meyer:1993:SCO:162685.162705,
 author       = {Bertrand Meyer},
 year         = {1993},
 title        = {Systematic Concurrent Object-oriented Programming},
 journal      = {Commun. ACM},
 volume       = {36},
 number       = {9},
 pages        = {56--80},
 doi          = {10.1145/162685.162705},
)
@article(Nielsen&15,
 author       = {C.B. Nielsen and P.G. Larsen and J. Fitzgerald and J. Woodcock and J. Peleska},
 year         = {2015},
 title        = {Systems of Systems Engineering: Basic Concepts, Model-Based Techniques, and Research Directions},
 journal      = {ACM Comput. Surv.},
 volume       = {48},
 number       = {2},
 pages        = {18:1--18:41},
 doi          = {10.1145/2794381},
)
@(omg2012ocl,
 author       = {OMG},
 year         = {2012},
 title        = {{OMG Object Constraint Language (OCL), Version 2.3.1}},
 url          = {http://www.omg.org/spec/OCL/2.3.1/},
)
@techreport(SysML15,
 author       = {OMG},
 year         = {2015},
 title        = {{OMG Systems Modeling Language (OMG SysML$^{\mathrm{TM}}$)}},
 type         = {Technical Report},
 number       = {Version 1.4},
 institution  = {Object Management Group},
 note         = {Http://www.omg.org/spec/SysML/1.4/},
)
@techreport(Payne&10,
 author       = {R. Payne and J.S. Fitzgerald},
 year         = {2010},
 title        = {Evaluation of architectural frameworks supporting contract-based specification},
 type         = {Technical Report},
 institution  = {Newcastle University},
)
@(PATTERNS,
 author       = {S. Perry},
 year         = {2013},
 title        = {{Report on Modelling Patterns for SoS Architectures} COMPASS Deliverable, D22.3, Tech. Rep.},
 url          = {http://www.compass-research.eu/deliverables.html},
)
@techreport(COMPASSD22.6,
 author       = {S. Perry and J. Holt and R. Payne and J. Bryans and C. Ingram and A. Miyazawa and L.D. Couto and S. Hallerstede and A.K. Malmos and J. Iyoda and M. Cornelio and J. Peleska},
 year         = {2014},
 title        = {{Final Report on SoS Architectural Models}},
 type         = {Technical Report},
 institution  = {{COMPASS} Deliverable, D22.6},
 note         = {Available at http://www.compass-research.eu/},
)
@book(Warmer:2003:OCL:861416,
 author       = {J. Warmer and A. Kleppe},
 year         = {2003},
 title        = {The Object Constraint Language: Getting Your Models Ready for MDA},
 edition      = {2},
 publisher    = {Addison-Wesley Longman Publishing Co., Inc.},
 address      = {Boston, MA, USA},
)
@inproceedings(Woodcock&12a,
 author       = {J. Woodcock and A. Cavalcanti and J. Fitzgerald and P. Larsen and A. Miyazawa and S. Perry},
 year         = {2012},
 title        = {Features of CML: A formal modelling language for Systems of Systems},
 booktitle    = {2012 7th International Conference on System of Systems Engineering (SoSE)},
 pages        = {1--6},
 doi          = {10.1109/SYSoSE.2012.6384144},
)
@article(Woodcock&09,
 author       = {J. Woodcock and P.G. Larsen and J. Bicarregui and J. Fitzgerald},
 year         = {2009},
 title        = {{Formal Methods: Practice and Experience}},
 journal      = {ACM Computing Surveys},
 volume       = {41},
 number       = {4},
 pages        = {1--36},
 doi          = {10.1145/1592434.1592436},
)
@inbook(WC02,
 author       = {Jim Woodcock and Ana Cavalcanti},
 year         = {2002},
 title        = {The Semantics of Circus},
 pages        = {184--203},
 publisher    = {Springer Berlin Heidelberg},
 address      = {Berlin, Heidelberg},
 doi          = {10.1007/3-540-45648-1_10},
)