TY  - RPRT
TI  - Modelling System of Systems Interface Contract Behaviour
AU  - Oldrich Faldik
AU  - Richard Payne
AU  - John Fitzgerald
AU  - Barbora Buhnova
PY  - 2017
DO  - 10.4204/eptcs.245.1
UR  - https://arxiv.org/abs/1703.07037
ID  - 1703.07037
ER  -