@inproceedings{3514830eb88c4330a2c758622003885d,
title = "Checking sysML models for co-simulation",
keywords = "Algebraic loops, CSP, Co-simulation, FMI, SysML",
author = "Nuno Am{\'a}lio and Richard Payne and Ana Cavalcanti and Jim Woodcock",
note = "Funding Information: This work was supported by the EU project INTO-CPS (Horizon 2020, # 644047, http://into-cps.au.dk/ ). Thanks are due to Etienne Brosse, who implemented the INTO-SysML profile in the Modelio tool, and Bernhard Thiele, who provided useful feeedback on the work presented here. Publisher Copyright: {\textcopyright} Springer International Publishing AG 2016.; 18th International Conference on Formal Engineering Methods, ICFEM 2016 ; Conference date: 14-11-2016 Through 18-11-2016",
year = "2016",
doi = "10.1007/978-3-319-47846-3_28",
language = "English",
isbn = "9783319478456",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
publisher = "Springer Verlag",
pages = "450--465",
editor = "Kazuhiro Ogata and Mark Lawford and Shaoying Liu",
booktitle = "Formal Methods and Software Engineering - 18th International Conference on Formal Engineering Methods, ICFEM 2016, Proceedings",
}