Franck Cassez, Peter Gjøl Jensen, Kim Guldstrand Larsen: Verification and Parameter Synthesis for Real-Time Programs using Refinement of Trace Abstraction. Fundam. Informaticae 178(1-2): 31-57 (2021)