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