Kung-Kiu Lau Zheng Wang Verified component-based software in SPARK: experimental results for a missile guidance system. 51-58 2007 SIGAda http://doi.acm.org/10.1145/1315580.1315594 conf/sigada/2007 db/conf/sigada/sigada2007.html#LauW07