Towards Model Checking C Code with OPEN/CÆSAR | Publicación