@inproceedings{mci/Belli2006,
author = {Belli, Fevzi AND Budnik, Christof J. AND Hollmann, Axel},
title = {Holistic testing of interactive systems using statecharts},
booktitle = {Sicherheit 2006, Sicherheit – Schutz und Zuverlässigkeit},
year = {2006},
editor = {Dittmann, Jana} ,
pages = { 345-356 },
publisher = {Gesellschaft für Informatik e.V.},
address = {Bonn}
}