Automatic Test Case Generation with NuSMV. - Grygoriy Bunin; Axel Schneider; Christian Haubelt; Jan Langer; Ulrich Heinkel (GI Jahrestagung (2), 2006)