• System Verification, Processes and Testing 

      Perez, Tristan; Morozov, Andrey; Rokseth, Børge; Glomsrud, Jon Arne; Luckuck, Matthew; Myklebust, Thor; Torben, Tobias Valentin Rye; Yang, Xue (Proceedings of the First International Workshop on Autonomous Systems Safety;, Chapter, 2019)