@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}, }