Designing cyber-physical systems from natural language descriptions. - Sophia Balkovski; Ian G. Harris (HLDVT, 2017)