1. Faragó D.: ‘Model-based testing in agile software development’.30 Treffen der GI-Fachgruppe Test Analyse & Verifikation von Software (TAV) Testing Meets Agility Munich Germany 2010
2. Tan L. Sokolsky O. Lee I.: ‘Specification-based testing with linear temporal logic’.Proc. Int. Conf. Information Reuse and Integration IRI ‘04 Las Vegas NV USA 2004 pp.493–498