(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