Advances in Design and Specification Languages for Embedded Systems