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