A Specification-Driven Approach to Embedded FDIR Code Generation.

Federico Bonafini, Roberto Cavada, Alessandro Cimatti, Guillermo Gomez, Stefano Tonetta

Browse the full FMICS paper archive.