Modelado mediante Stochastic Activity Networks (SANs) de la Fiabilidad de un Sistema Distribuido en el que los nodos se comunican a través de una red con Topología de Bus Replicado basada en el protocolo Controller Area Network (CAN)