The paper discusses the visualization and formal modeling of a legally regulated process. The approach is motivated by a historic retrospective. The technical innovation is not only to consider the given law when developing business process models – like many other approaches do – but to explicitly derive a process structure which is implicitly specified ...