Use and usability of software verification methods to detect behaviour interference when teaching an assistive home companion robot: A proof-of-concept study.