Combining Genetic Programming and Model Checking to Generate Environment Assumptions | IEEE Journals & Magazine | IEEE Xplore