B
[BJK+05] Manfred Broy, Bengt Jonsson, Joost-Pieter Katoen, Martin Leucker et Alexander Pretschner. Model-Based Testing of Reactive Systems – Advanced lectures. Lecture Notes in Computer Science 3472. Springer-Verlag, 2005. 
@book{mbt-bjklp,
  author =              {Broy, Manfred and Jonsson, Bengt and Katoen,
                         Joost-Pieter and Leucker, Martin and Pretschner,
                         Alexander},
  title =               {Model-Based Testing of Reactive Systems~-- Advanced
                         lectures},
  publisher =           {Springer-Verlag},
  series =              {Lecture Notes in Computer Science},
  volume =              {3472},
  year =                {2005},
}
Liste des auteurs