@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 }