@ARTICLE{
author={Krivokuca Stefana,Stojanovic Branka B,Hofer-Schmitz Katharina,Neskovic Natasa J,Neskovic Aleksandar M},
year={2020},
title={Smart Water Distribution System Communication Architecture Risk Analysis Using Formal Methods},
journal={2020 28TH TELECOMMUNICATIONS FORUM (TELFOR)},
volume={},
number={},
pages={61-64},
document_type={Proceedings Paper},
}