A C/C++ Source-to-Source Compiler for Dependable Applications.

Alfredo Benso, Silvia Chiusano, Paolo Prinetto, Luca Tagliaferri

Browse the full DSN paper archive.