Fine-Grained Complexity of Safety Verification. - Chini, Peter; Meyer, Roland; Saivasan, Prakash (Journal of Automated Reasoning, 2020)