@incollection{Hessel_2004,
    doi = {10.1007/978-3-540-24617-6_9},
    url = {https://doi.org/10.1007%2F978-3-540-24617-6_9},
    year = {2004},
    publisher = {Springer Berlin Heidelberg},
    pages = {114--130},
    author = {Anders Hessel and Kim G. Larsen and Brian Nielsen and Paul Pettersson and Arne Skou},
    title = {Time-Optimal Real-Time Test Case Generation Using Uppaal},
    booktitle = {Formal Approaches to Software Testing}
}

@incollection{Hessel_2004, doi = {10.1007/978-3-540-24617-6_9}, url = {https://doi.org/10.1007%2F978-3-540-24617-6_9}, year = {2004}, publisher = {Springer Berlin Heidelberg}, pages = {114--130}, author = {Anders Hessel and Kim G. Larsen and Brian Nielsen and Paul Pettersson and Arne Skou}, title = {Time-Optimal Real-Time Test Case Generation Using Uppaal}, booktitle = {Formal Approaches to Software Testing} }