Rafael H. Bordini Michael Fisher Maarten Sierhuis Formal verification of human-robot teamwork. 267-268 2009 HRI http://doi.acm.org/10.1145/1514095.1514169 conf/hri/2009 db/conf/hri/hri2009.html#BordiniFS09