Advances in Design and Specification Languages for SoCs - Boulet, Pierre (Springer US, 2020)