A model for quantifying the reliability of highly-reliable distributed systems based on fieldbus replicated buses | Publicación