C. Mingsong, Q. Xiaokang, and L. Xuandong. AST '06: Proceedings of the 2006 international workshop on Automation of software test, page 2--8. New York, NY, USA, ACM, (2006)
I. Krüger, R. Grosu, P. Scholz, and M. Broy. Distributed and Parallel Embedded Systems, volume 25 of IFIP — The International Federation for Information Processing, Springer US, (1999)