Comparing apples and oranges: Evaluating model-coverage using acceptance regions | IEEE Conference Publication | IEEE Xplore