Light Weight Thread Level Health Check Framework for Highly Available Systems | IEEE Conference Publication | IEEE Xplore