A Language and Repository for Cyber Security of Smart Grids. - Yuning Jiang 003; Manfred A. Jeusfeld; Yacine Atif; Jianguo Ding; Christoffer Brax; Eva Nero (EDOC, 2018)