Continued investigations of model checking