2022-03-022022-03-020934-5043https://publica.fraunhofer.de/handle/publica/114358Formal aspects of computing