1. 1. Adrion, W., Brandstad, J., Cherniabsky, J.: Validation, verification and testing of computer software. Computing Surveys 14(2), 159–192 (1982)
2. 2. Beizer, B.: Software Testing Techniques. 2nd ed. Van Nostrand Reinhold, Boston, USA (1990)
3. 3. Beizer, B.: Black-Box Testing. Techniques for Functional Testing of Software and Systems. John Willey & Sons, New York, USA (1995)
4. 4. Boehm, B.: Software Engineering Economics. Prentice Hall, Englewood Cliffs, USA (1981)
5. 5. Buchholz, K.: EETimes Europe: Model-based software development in the automotive industry. http://www.electronics-eetimes.com/en/model-based-development.html [16 April 2012] (2011)