https://1library.org/document/y49w6rkz-simulation-of-hybrid-systems-from-natural-language-requirements.html