@article{HartigHabermannMottok, author = {Hartig, Wolfgang and Habermann, Albert and Mottok, J{\"u}rgen}, title = {Mehr Qualit{\"a}t durch modellbasiertes Testen}, series = {Elektronik automotive 3}, journal = {Elektronik automotive 3}, pages = {32 -- 35}, language = {de} } @article{HartigHabermannMottok, author = {Hartig, Wolfgang and Habermann, Albert and Mottok, J{\"u}rgen}, title = {Model-based testing for better quality}, series = {Vector, Technicle Article}, journal = {Vector, Technicle Article}, language = {en} }