@article{10.1109/VALID.2010.11,
author = {Linshu Duan and Alexander Hofer and Heinrich Hussmann},
title = {Model-Based Testing of Infotainment Systems on the Basis of a Graphical Human-Machine Interface},
journal ={Advances in System Testing and Validation Lifecycle, International Conference on},
volume = {0},
isbn = {978-0-7695-4146-4},
year = {2010},
pages = {5-9},
doi = {http://doi.ieeecomputersociety.org/10.1109/VALID.2010.11},
publisher = {IEEE Computer Society},
address = {Los Alamitos, CA, USA},
}