A Survey on Static Analysis and Model Checking | Publicación