Verification of Failure Sign Detection in SOFC-based Systems