Better Embedded Design Tools With Automated Reasoning