Villar, E.2022-03-022022-03-022008978-1-402-08296-21-402-08296-7https://publica.fraunhofer.de/handle/publica/146916Embedded systems specification and design languages