Constructing Teleo-reactive Robot Programs. - Krysia Broda; Christopher J. Hogger; Sam Watson (ECAI, 2000)