YARA: A Software Framework Enhancing Service Robot Dependability | IEEE Conference Publication | IEEE Xplore