Rebaudengo, MMRebaudengoReorda, MSMSReordaASI Sponsor2020-09-172020-09-172001-01-01https://hdl.handle.net/20.500.13025/994enA source-to-source compiler for generating dependable softwareconference paperhttp://ieeexplore.ieee.org/xpls/abs_all.jsp?arnumber=97266454dcce088580fe1368eeafd1