Safety Assurance of Assistive Devices Based on a Two-Level Checking Scheme | IEEE Conference Publication | IEEE Xplore