A Jitter-Free Kernel for Hard Real-Time Systems. - Christo Angelov; Jesper Berthing (ICESS, 2004)

A Jitter-Free Operational Environment for Dependable Embedded Systems. - Christo Angelov; Jesper Berthing; Krzysztof Sierszecki (IESS, 2005)

Distributed Timed Multitasking - A Model of Computation for Hard Real-Time Distributed Systems. - Christo Angelov; Jesper Berthing (DIPES, 2006)

Component-Based Design of Safe Real-Time Kernels for Embedded Systems. - Jesper Berthing; Christo Angelov (EUROMICRO-SEAA, 2007)

A Taxonomy for Modelling Safety Related Architectures in Compliance with Functional Safety Requirements. - Jesper Berthing; Thomas Maier (SAFECOMP, 2007)

A Timed Multitasking Architecture for Distributed Embedded Systems. - Christo Angelov; Jesper Berthing (SIES, 2007)

Refinement-Based Development of Timed Systems. - Jesper Berthing; Pontus Boström; Kaisa Sere; Leonidas Tsiopoulos; Jüri Vain (IFM, 2012)