Designing Embedded Systems with the SIGNAL Programming