2022-03-022022-03-020929-5585https://publica.fraunhofer.de/handle/publica/117139Design automation for embedded systems