@article{SchellhornBodenmuellerBitterlichetal.2022,
  author    = {Gerhard Schellhorn and Stefan Bodenm{\"u}ller and Martin Bitterlich and Wolfgang Reif},
  title     = {Software \& system verification with KIV},
  journal   = {Lecture Notes in Computer Science},
  volume    = {13360},
  pages     = {408 -- 436},
  doi       = {10.1007/978-3-031-08166-8_20},
  year      = {2022},
}