Sequential Diagnosis by Abstraction | Read Paper on Bytez