CyberSAGE: A Tool for Automatic Security Assessment of Cyber-Physical Systems

Publication
Proceedings of the Conference on Quantitative Evaluation of SysTems (QEST)