@article{Dam2001,Author = {Damm, Werner and Cohen, Moshe},Title = {Advanced Validation Techniques Meet Complexity Challenge in Embedded Software Development},Year = {2001},Month = {01},type = {article}}@COMMENT{Bibtex file generated on }