Work-in-Progress: Automatically Generated Response-Time Proofs as Evidence of Timeliness | IEEE Conference Publication | IEEE Xplore