Contract-Based Design for Computation and Verification of a Closed-Loop Hybrid System.

Luca Benvenuti Alberto Ferrari Emanuele Mazzi Alberto L. Sangiovanni-Vincentelli Contract-Based Design for Computation and Verification of a Closed-Loop Hybrid System. 58-71 2008 HSCC http://dx.doi.org/10.1007/978-3-540-78929-1_5 conf/hybrid/2008 db/conf/hybrid/hscc2008.html#BenvenutiFMS08