id: 70922102
dt: a
an: 70922102
au: Cheng, Chih-Hong; Rueß, Harald; Knoll, Alois; Buckl, Christian
ti: Synthesis of fault-tolerant embedded systems using games: from theory to
    practice
so: VMCAI, 118-133 (2011).
py: 2011
pu: 
la: EN
cc: 
ut: 
ci: 
li: doi:10.1007/978-3-642-18275-4_10