Yan Liu Sampath Yerramalla Edgar Fuller Bojan Cukic Srikanth Gururajan Adaptive Control Software: Can We Guarantee Safety? 100-103 2004 conf/compsac/2004 COMPSAC Workshops http://csdl.computer.org/comp/proceedings/compsac/2004/2209/02/220920100abs.htm db/conf/compsac/compsac2004-W.html#LiuYFCG04