Foundations for Functional Modeling of Technical Artefacts

All three are relevant for modelling complex automated processes interacting with human operators. The book also discusses challenges when applying the foundations for modelling of technical artefacts.