AN-Encoding Compiler: Building Safety-Critical Systems with Commodity Hardware.

Christof Fetzer Ute Schiffel Martin Süßkraut AN-Encoding Compiler: Building Safety-Critical Systems with Commodity Hardware. 283-296 2009 SAFECOMP http://dx.doi.org/10.1007/978-3-642-04468-7_23 conf/safecomp/2009 db/conf/safecomp/safecomp2009.html#FetzerSS09