THeory of Evidence in a lanGuage Adapted for Many Embedded systems