Experiments in abstract interpretation-based code certification for pervasive systems | Publicación