Introduction to the Special Issue on Specification and Design Languages (FDL 2019). - Girault, Alain; von Hanxleden, Reinhard (ACM Transactions on Embedded Computing Systems, 2021)