@Inproceedings{EPTCS168.4, author = {Suzuki, Masaya and Watanabe, Takuo}, year = {2014}, title = {A Language Support for Exhaustive Fault-Injection in Message-Passing System Models}, editor = {Bersani, Marcello Maria and Bresolin, Davide and Ferrucci, Luca and Mazzara, Manuel}, booktitle = {{\rm Proceedings First Workshop on} Logics and Model-checking for Self-* Systems, {\rm Bertinoro, Italy, 12th September 2014}}, series = {Electronic Proceedings in Theoretical Computer Science}, volume = {168}, publisher = {Open Publishing Association}, pages = {45-58}, doi = {10.4204/EPTCS.168.4}, }