Formalizing geographical models using specification and description language: the wildfire example | Publicación