Grov, Gudmund; Mancini, Federico; Mestl, Elsie Margrethe. Challenges for Risk and Security Modelling in Enterprise Architecture. Lecture Notes in Business Information Processing 2019 ;Volum 369. s. 215-225

Lin, Yuhui; Bundy, Alan; Grov, Gudmund; Maclean, Ewen. Automating Event-B invariant proofs by rippling and proof patching. Formal Aspects of Computing 2019 s. 1-35