Representing analysis models for alignment | IEEE Conference Publication | IEEE Xplore