Regime abstraction and working program
Complete DDMS (including system model)