@misc {IOPORT.70703244,
    author       = {Hessel, Anders and Larsen, Kim Guldstrand and Mikucionis, Marius and Nielsen, Brian and Pettersson, Paul and Skou, Arne},
    title        = {Testing real-time systems using UPPAAL},
    howpublished = {Formal Methods and Testing, 77-117 (2008).},
    year         = {2008},
    doi          = {10.1007/978-3-540-78917-8_3},
    identifier   = {70703244},
}