Christopher J. Harper Alan F. T. Winfield A methodology for provably stable behaviour-based intelligent control. 52-73 2006 54 Robotics and Autonomous Systems 1 http://dx.doi.org/10.1016/j.robot.2005.09.014 db/journals/ras/ras54.html#HarperW06