Using the NuSMV Model Checker for Test Generation from Statecharts | IEEE Conference Publication | IEEE Xplore