The paper "Work-in-Progress: WCET-Aware Reachability for Verified Simplex Design" by Ole Lübke and Sibylle Schupp has been accepted at the <link https: esweek.org emsoft _blank>EMSOFT21 conference, which will be held as virtual conference this year.
EMSOFT21
