@InProceedings{Driouich_etal2018,
author="Driouich, Y.
and Parente, M.
and Tronci, E.",
title="Model Checking Cyber-Physical Energy Systems",
booktitle="Proceedings of 2017 International Renewable and Sustainable Energy Conference, IRSEC 2017",
year="2018",
publisher="Institute of Electrical and Electronics Engineers Inc.",
optnote="exported from refbase (http://mclab.di.uniroma1.it/publications/show.php?record=177), last updated on Thu, 22 Nov 2018 15:20:30 +0100",
doi="10.1109/IRSEC.2017.8477334",
opturl="https://doi.org/10.1109/IRSEC.2017.8477334",
file=":http://mclab.di.uniroma1.it/publications/papers/driouich/2018/177_Driouich_etal2018.pdf:PDF"
}