Effectively using search-based software engineering techniques within model checking and its applications | IEEE Conference Publication | IEEE Xplore