The Formal Model for Coccinella septempunctata for implementation in Animal Landscape and Man Simulation System (Food and Ecological Systems Modelling Journal, 2025)