Christian Buckl Alois Knoll Gerhard Schrott Model-Based Development of Fault-Tolerant Embedded Software. 103-110 2006 ISoLA http://dx.doi.org/10.1109/ISoLA.2006.22 conf/isola/2006 db/conf/isola/isola2006.html#BucklKS06