Comparing viewpoint evaluation functions for model-based inspectional coverage | IEEE Conference Publication | IEEE Xplore