Using Abstraction in Modular Verification of Synchronous Adaptive Systems.

Ina Schaefer Arnd Poetzsch-Heffter Using Abstraction in Modular Verification of Synchronous Adaptive Systems. 2006 Trustworthy Software http://drops.dagstuhl.de/opus/volltexte/2006/699 conf/dagstuhl/2006P6000 db/conf/dagstuhl/P6000.html#SchaeferP06