R
efinement
R
eactive
Temporal
Refinement
Reactive