WCET-aware reachability for verified simplex design: work-in-progress.

Ole Lbke, Sibylle Schupp

Browse the full EMSOFT paper archive.