checking consistency of implementation modules from an entire solution
major refactorings to unify FM/CM with module analyses
implementing FM / CM analyses of entire models
fixing the build