Sophia Balkovski, Ian G. Harris. Designing cyber-physical systems from natural language descriptions. In 2017 IEEE International High Level Design Validation and Test Workshop, HLDVT 2017, Santa Cruz, CA, USA, October 5-6, 2017. pages 39-44, IEEE Computer Society, 2017. [doi]
Abstract is missing.