Towards the Automatic Generation of Models for Prediction, Monitoring, and Testing of Cyber-Physical Systems | IEEE Conference Publication | IEEE Xplore