1. Barringer, H.; Goldberg, A.; Havelund, K.; Sen, K.: Rule-based runtime verfication. In: Fifth International Conference on Verfication, Model Checking and Abstract Interpretation (VMCAI 2004). Venice, Italy, 2004.
2. Beck, K.: Test Driven Development by Example. Addison-Wesley Professional, 2002.
3. Beck, K.; Andres, C.: Extreme Programming Explained. Addison-Wesley Professional, 2004.
4. Booch, G.: Objektorientierte Analyse und Design. Addison-Wesley, Bonn, Paris, 1994.
5. Brat, G.; Giannakopoulou, D.; Goldberg, A.; Havelund, K.; Lowry, M.; Pasareanu, C.; Venet, A.; Visser, W.: Experimental evaluation of verfication and validation tools on martian rover software. In: CMU/SEI Software Model Checking. Pittsburg, USA, 2003. Extended version to appear in Formal Methods in System Design.