Using model views to assist with model conformance and extension | IEEE Conference Publication | IEEE Xplore