@article{RNTI/papers/1000534, author = {Cláudia Betous-Almeida and Jean-Luc Scharbarg and Christian Fraboul}, title = {Fault-Tolerance Analysis of Mixed CAN/Switched Ethernet Architecture}, journal = {Revue des Nouvelles Technologies de l'Information}, volume = {ISoLA 2007, Workshop on leveraging applications of formal methods, verification and validation,, RNTI-SM-1}, year = {2007}, pages = {61-72} }