(1) concept
(2) aspect selection
(3) formal description
(..) hierarchical refinement
good to define terminology
what is to be modeled?
less ambiguous, but also less readable