Reihe Berichte aus der InformatikDaniel Tille × Advanced Utilization of Formal Methods in Automatic Test Pattern Generation for Industrial Designs Daniel TilleShakerBuch2011