@article{palmieri20a,
author = {Palmieri, Maurizio and Macedo, Hugo Daniel},
title = {{Automatic Generation of Functional Mock-Up Units from Formal
    Specifications},
booktitle = {Software Engineering and Formal Methods. SEFM 2019}
editor = {Camara J. and Steffen M.},
pages = {27--33},
volume = {12226},
series = {LNCS},
publisher = {Springer, Cham},
doi = {10.1007/978-3-030-57506-9_3},
year = 2020},
}

@article{palmieri20,
author = {Palmieri, Maurizio and Bernardeschi, Cinzia and Masci, Paolo},
title = {{A framework for FMI-based co-simulation of human-machine
interfaces}},
journal = {Software and Systems Modeling},
pages = {601--623},
volume = {19},
number = {3},
doi = {10.1007/s10270-019-00754-9},
year = 2020},
}