Integrating Physical Systems in the Static Analysis of Embedded Control Software