Analytics-based safety monitoring and verification | IEEE Conference Publication | IEEE Xplore