@article{HartigHabermannMottok2021,
  author    = {Wolfgang Hartig and Albert Habermann and J{\"u}rgen Mottok},
  title     = {Model-based testing for better quality},
  journal   = {Vector, Technicle Article},
  year      = {2021},
}