"Trustworthy Systems Engineering with GoedelWorks" published