Redesign of a systems engineering language: formalisation of \(\chi\)
scientific article; zbMATH DE number 2132391