An Approach to Dependability Modelling of Real Time Systems | Publicación