cyber-physical system verification, hardware verification, runtime verification, System Health Management, temporal logic.