From Software Models to Dependability Analysis Models | Publicación