@inproceedings{918030e2816e4dd8b11ae75174797e7d,
title = "Component-based Design and Verification in X-MAN",
author = "N. He and D. Kroening and T. Wahl and K.-K. Lau and F. Taweel and P. R{\"u}mmer and S. Sharma",
year = "2012",
language = "English",
booktitle = "Proceedings of Embedded Real Time Software and Systems",
publisher = "Soci{\'e}t{\'e} de l'Electricit{\'e}, de l'Electronique et des Technologies de l'Information et de la Communication",
address = "France",
note = "Embedded Real Time Software and Systems ; Conference date: 01-01-1824",
}