Model checking software with well-defined APIs | Publicación