The complexity and diversity of the real world pose significant challenges to constructing accurate mathematical models. While creating a formal representation for simplified systems is possible, ...