@book{d1243869962b47639d1039e3750e2180,
title = "Model-Based Testing of Reactive Systems: Advanced Lectures",
keywords = "UML, Unified Modeling Language (UML), Algorithms, Automata, Finite-state machines, Formal methods, Formal testing methods, Hardware verification, Hybrid systems, Model checking, Model-based testing, Reactive systems, Software testing, Software verification, Systems verification",
author = "Bengt Jonsson and Martin Leucker and Alexander Pretschner",
editor = "Manfred Broy and Joost-Pieter Katoen",
year = "2005",
doi = "10.1007/b137241",
language = "English",
isbn = "978-3-540-26278-7",
series = "Lecture Notes in Computer Science",
publisher = "Springer",
address = "Germany",
}