Towards a virtual machine approach to resilient and safe mobile robots | IEEE Conference Publication | IEEE Xplore