Dependable and ubitquitous Autocode Generation
N. Audsley, I. J.Bate and S.K. Crook-Dawkins
Probabilistic Analysis of CAN with Faults
I. Broster, A. Burns and G. Rodríguez-Navas
Protected Ceiling Changes
J. Real, A. Crespo, A. Burns and A. J. Wellings
Timing-Independent Safety on Top of CAN
G. M. A. Lima and A. Burns
WCET Analysis of Probabilistic Hard Real-Time Systems
G. Bernat, A. Colin and S. M. Petters
Writing Temporally Predictable Code
P. Puschner and A. Burns