Foundations for Functional Modeling of Technical Artefacts