K. Cardinaels, M. Meire, and E. Duval. WWW '05: Proceedings of the 14th international conference on World Wide Web, page 548--556. New York, NY, USA, ACM, (2005)
P. Tran-Gia, T. Hossfeld, M. Menth, and R. Pries. e&i Elektrotechnik und Informationstechnik, Special Issue 'Future Internet', ISSN: 0932-383X (print), ISSN: 1613-7620 (online), (August 2009)
A. Rajan, M. Whalen, and M. Heimdahl. ICSE '08: Proceedings of the 30th international conference on Software engineering, page 161--170. New York, NY, USA, ACM, (2008)MR: nuetzlich fuer IST-SPL nur wegen der Referenzen auf eingesetzte Techniken zur ' Test Case Generation using model checkers '..