Due to the multi-scale nature of biological systems, we increasingly consider hybrid models that combine different mathematical formalisms, e.g. ODEs for metabolic networks with discrete dynamical systems for regulatory processes, or ODEs for signaling pathways with partial differential equations describing biomechanical processes. We also consider different mathematical formalism for describing one and the same system. Here, we are particularly interested in transforming one formalism into another one, e.g. ODEs into Boolean networks, and in property conservation across formalism, see, e.g., our publication on Correspondance of Trap Spaces in Different Models of Bioregulatory Networks.