Languages for Digital Embedded Systems