Title: Formalizing the systems approach to Rock Engineering