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