Model Abstractions Preliminary Implementation
Model Abstraction Secondary Refinemet