Marko Kleine Büning, Carsten Sinz, David Faragó: QPR Verify: A Static Analysis Tool for Embedded Software Based on Bounded Model Checking. VSTTE 2020: 21-32