Wasm-WCET: Worst-Case Execution-Time Analysis of WebAssembly Modules on Updatable Resource-Constrained Embedded Devices. - Maximilian Seidler; Martin Michelis; Peter Wägemann; Rüdiger Kapitza (RTAS, 2026)