Softwaretests und PrüfsoftwareLars Lütze × Modellbasierter Testprozess der akustischen Mensch-Maschine-Schnittstelle eines Infotainmentsystems im Kraftfahrzeug Lars LützeFraunhofer VerlagSoftcover2015