Towards New Methods for Developing Real-Time Systems: Automatically Deriving Loop Bounds Using Machine Learning | IEEE Conference Publication | IEEE Xplore