Integrating Physical Systems in the Static Analysis of Embedded Control Software.

Patrick Cousot Integrating Physical Systems in the Static Analysis of Embedded Control Software. 135-138 2005 conf/aplas/2005 APLAS http://dx.doi.org/10.1007/11575467_10 db/conf/aplas/aplas2005.html#Cousot05