Alberti, Signoles, 2017. Context Generation from Formal Specifications for C Analysis Tools.