@inProceedings{He&al:12, author = {N. He and D. Kroening and T. Wahl and K.-K. Lau and F. Taweel and C. Tran and P. R\"ummer and S. Sharma}, title = {Component-based Design and Verification in {X-MAN}}, booktitle = {Proc. Embedded Real Time Software and Systems}, year = {2012}, }