@article{DBLP:journals/corr/abs-1011-0268, author = {Cheng, Chih-Hong and Rue{\ss}, Harald and Knoll, Alois and Buckl, Christian}, title = {A Game-theoretic Approach for Synthesizing Fault-Tolerant Embedded Systems}, journal = {CoRR}, volume = {abs/1011.0268}, year = {2010}, url = {http://arxiv.org/abs/1011.0268}, }