ISBN 3540262784 books & textbook
Model-Based Testing of Reactive Systems: Advanced Lectures (Lecture Notes in Computer Science, 3472)
Broy, Manfred Jonsson, Bengt Katoen, Joost-Pieter Leucker, Martin Pretschner, Alexander
Springer /2005-06-27 Paperback / 672 Pages
isbn-10: 3540262784 / isbn-13: 9783540262787