S.__Campos
Computing Quantitative Characteristics of Finite-state Real-time Systems
Timing analysis of industrial real-time systems
Verifying the performance of the pci local bus using symbolic techniques
Verus: a tool for quantitative analysis of finite-state real-time systems