@inproceedings{BjoerklundGlaserSkoftelandetal.2021,
  author    = {Ludvig Bj{\"o}rklund and Markus Glaser and Gunleiv Skofteland and Maryann Lundteigen},
  title     = {A Comparison of Different Approaches for Verification and Validation of Software in Safety-Critical Systems},
  series = {Proceedings of the 31st European Safety and Reliability Conference},
  editor    = {Bruno Castanier},
  publisher = {Research Publishing Services},
  address   = {Chennai},
  isbn      = {978-981-18-2016-8},
  doi       = {10.3850/978-981-18-2016-8\_262-cd},
  pages     = {3451 -- 3458},
  year      = {2021},
  language  = {en}
}