@inproceedings{GQG+8a,
title = {Building Correct Cyber-Physical Systems: Why We Need a Multiview Contract Theory },
author = {Graf, Susanne and Quinton, Sophie and Girault, Alain and G{\"{o}}{\ss}ler, Gregor},
year = {2018},
booktitle = {Formal Methods for Industrial Critical Systems - 23rd International Conference, {FMICS} 2018, Maynooth, Ireland, September 3-4, 2018, Proceedings},
pages = {19--31},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
volume = {11119},
team = {SYNC},
}