SMS dit: Real and abstract analysis