Sampath Yerramalla Yan Liu Edgar Fuller Bojan Cukic Srikanth Gururajan An Approach to V&V of Embedded Adaptive Systems. 173-188 http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=3228&spage=173 2004 conf/faabs/2004 FAABS db/conf/faabs/faabs2004.html#YerramallaLFCG04