Rodler, P.; Herold, M. StaticHS: A Variant of Reiter’s Hitting Set Tree for Efficient Sequential Diagnosis. SOCS 2018, 9, 72-80.