A model-extraction approach to verifying concurrent C programs with CADP | Publicación