Trustworthy Embedded Computing For Cyber-Physical Control