A formal approach to timing analysis and design of information systems | Publicación