@inproceedings{sieverding13,
Author = {Sven Sieverding and Christian Ellen and Peter Battram},
Title = {Sequence Diagram Test Case Specification and Virtual Integration Analysis using Timed-Arc Petri Nets},

Year = {2013},
Pages = {17-31},
Month = {3},
Booktitle = {FESCA},
Doi = {10.4204/EPTCS.108.2},
type = {inproceedings}
}
@COMMENT{Bibtex file generated on }