System Formalitation and Models Building | Publicación