A Formal Approach to Model Natural Phe-nomena | Publicación