@incollection{fmt:2008,
	title = {Testing {Real-Time} Systems Using {UPPAAL}},
	url = {http://dx.doi.org/10.1007/978-3-540-78917-8_3},
	abstract = {This chapter presents principles and techniques for model-based black-box conformance testing of real-time systems using the
Uppaal model-checking tool-suite. The basis for testing is given as a network of concurrent timed automata specified by the
test engineer. Relativized input/output conformance serves as the notion of implementation correctness, essentially timed
trace inclusion taking environment assumptions into account. Test cases can be generated offline and later executed, or they
can be generated and executed online. For both approaches this chapter discusses how to specify test objectives, derive test
sequences, apply these to the system under test, and assign a verdict.
},
	booktitle = {Formal Methods and Testing},
	author = {Anders Hessel and Kim Larsen and Marius Mikucionis and Brian Nielsen and Paul Pettersson and Arne Skou},
	year = {2008},
	pages = {77--117}
        url = {http://www.cs.aau.dk/~marius/tron/FMT2008.pdf}
}