Stephen Marsland Ulrich Nehmzow Jonathan Shapiro http://arxiv.org/abs/cs.RO/0006005 2000 CoRR cs.RO/0006005 db/journals/corr/corr0006.html#cs-RO-0006005 informal publication