@Article{Pappagallo_etal2020,
author="Pappagallo, A.
and Massini, A.
and Tronci, E.",
title="Monte Carlo Based Statistical Model Checking of Cyber-Physical Systems: A Review",
journal="Information",
year="2020",
volume="11",
number="558",
optnote="exported from refbase (http://mclab.di.uniroma1.it/publications/show.php?record=181), last updated on Mon, 21 Dec 2020 17:51:36 +0100",
doi="10.3390/info11120588",
opturl="https://doi.org/10.3390/info11120588",
file=":http://mclab.di.uniroma1.it/publications/papers/pappagallo/2020/181_Pappagallo_etal2020.pdf:PDF"
}