Model Checking AUTOSAR Components with CBMC. - Timothee Durand; Katalin Fazekas; Georg Weissenbacher; Jakob Zwirchmayr (FMCAD, 2021)