Models in Hardware Testing - Hans-Joachim Wunderlich; Landrault, Christian; Wunderlich, Hans-Joachim (Springer Netherlands, 2010)