Towards an Automated Requirements-driven Development of Smart Cyber-Physical Systems | Read Paper on Bytez