Cost and benefit of rigorous decoupling with context-specific interfaces