add new issue and mention Frama-C version
dd figure on formalization to introduction