Design of Systems with Predictable Behaviour