@inproceedings{a01abc1d655649c5ad8edfae05141bcd,
title = "Behavioural models for FMI co-simulations",
keywords = "CSP, Circus, Modelling, Verification",
author = "Ana Cavalcanti and Jim Woodcock and Nuno Am{\'a}lio",
note = "Publisher Copyright: {\textcopyright} Springer International Publishing AG 2016.; 13th International Colloquium on Theoretical Aspects of Computing, ICTAC 2016 ; Conference date: 24-10-2016 Through 31-10-2016",
year = "2016",
doi = "10.1007/978-3-319-46750-4_15",
language = "English",
isbn = "9783319467498",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
publisher = "Springer Verlag",
pages = "255--273",
editor = "Farn Wang and Augusto Sampaio",
booktitle = "Theoretical Aspects of Computing - ICTAC 2016, 13th International Colloquium, Proceedings",
}