To enable the development of automated support for design, a challenge is to model and
analyse dynamics of design processes in a formal manner. This paper contributes a …