Rolf Drechsler, Ian G. Harris, Robert Wille. Generating formal system models from natural language descriptions. In 2012 IEEE International High Level Design Validation and Test Workshop, HLDVT 2012, Huntington Beach, CA, USA, November 9-10, 2012. pages 164-165, IEEE Computer Society, 2012. [doi]
Abstract is missing.