Observability Checking to Enhance Diagnosis of Real Time Electronic Systems | IEEE Conference Publication | IEEE Xplore