Email Record: Designing embedded systems with the SIGNAL programming language :