Static analysis by abstract interpretation of embedded critical software | Publicación