https://123dok.net/document/q7w74o1v-requirements-driven-design-of-cyber-physical-systems.html