Bjorner, D.Broy, M.Zamulin, A.V.2022-03-022022-03-0220003-540-67102-1https://publica.fraunhofer.de/handle/publica/136870Perspectives of system informatics