Julien Bertrane, Patrick Cousot, Radhia Cousot, Jérôme Feret, Laurent Mauborgne, Antoine Miné, Xavier Rival. Static analysis by abstract interpretation of embedded critical software. ACM SIGSOFT Software Engineering Notes, 36(1):1-8, 2011. [doi]
Abstract is missing.