Domains, Boundaries, and Transition Functions: On the Domain-Relative Validity, Migration, and Coupling of Models under Finite Conditions | Synapse