@inproceedings{506f004296d5441fbbbbd013b1bef073,
title = "An FMI-Based Initialization Plugin for INTO-CPS Maestro 2",
author = "Hansen, {Simon Thrane} and Casper Thule and Cl{\'a}udio Gomes",
note = "ASYDE, CIFMA, and CoSim-CPS, 2020, Revised Selected Papers; International Conference on Software Engineering and Formal Methods, SEFM 2020 ; Conference date: 14-09-2020 Through 17-09-2020",
year = "2021",
doi = "10.1007/978-3-030-67220-1_22",
language = "English",
isbn = "9783030672195",
series = "Lecture Notes in Computer Science",
publisher = "Springer",
pages = "295--310",
editor = "Loek Cleophas and Mieke Massink",
booktitle = "Software Engineering and Formal Methods",
address = "Netherlands",
}