Jian-Jia Chen, Wen-Hung Huang, Georg von der Brüggen, Kuan-Hsun Chen, Niklas Ueter. On the Formalism and Properties of Timing Analyses in Real-Time Embedded Systems. In Jian-Jia Chen, editor, A Journey of Embedded and Cyber-Physical Systems - Essays Dedicated to Peter Marwedel on the Occasion of His 70th Birthday. pages 37-55, Springer, 2021.
Abstract is missing.