Formal specification and compositional verification of an atomic broadcast protocol Ping ZhouJozef Hooman OriginalPaper Pages: 119 - 145
Analysis of hard real-time communications K. TindellA. BurnsA. J. Wellings OriginalPaper Pages: 147 - 171
Support software for the development of programmable logic controller applications George HassapisJohn Papadopoulos OriginalPaper Pages: 173 - 193