@inproceedings {7056,
	title = {Towards System-Level Testing with Coverage Guarantees for Autonomous Vehicles},
	booktitle = {IEEE / ACM 22nd International Conference on Model Driven Engineering Languages and Systems (MODELS)},
	year = {2019},
	note = {New Ideas and Vision Track},
	publisher = {IEEE},
	organization = {IEEE},
	doi = {10.1109/MODELS.2019.00-12},
	url = {https://modelsconf19.org/},
	author = {Istv{\'a}n Majzik and Oszk{\'a}r Semer{\'a}th and Csaba Hajdu and Marussy, Krist{\'o}f and Zolt{\'a}n Szatm{\'a}ri and Zolt{\'a}n Micskei and Andr{\'a}s V{\"o}r{\"o}s and Aren A. Babikian and D{\'a}niel Varr{\'o}}
}
