Harper, C. J., & Winfield, A. F. (2006). A methodology for provably stable behaviour-based intelligent control. Robotics and Autonomous Systems, 54(1), 52-73. https://doi.org/10.1016/j.robot.2005.09.014