Formal Verification of Diagnosability via Symbolic Model Checking.

Alessandro Cimatti Charles Pecheur Roberto Cavada Formal Verification of Diagnosability via Symbolic Model Checking. 363-369 2003 conf/ijcai/2003 IJCAI db/conf/ijcai/ijcai2003.html#CimattiPC03