Correct by construction components or: would Nasreddin use components?

We describe the component-based, architectural design of software systems, or service layer model (SLM) that perhaps offers a better approach to component based software development than the traditional approaches and all the drawbacks mentioned above. The development process defined in the SLM can roughly be described as follows: starting from a system specification, an initial design model is developed containing components that should be combined in the new system. This model is then step by step transformed into a description of the system that can directly be used to derive an implementation. This process is structured into different phases, which are supported by a model-checker that is used to evaluate correct specifications.