Generating Test Cases for Timed Systems from Controlled Natural Language Specifications | IEEE Conference Publication | IEEE Xplore