DxPCs: a toolbox for model-based diagnosis of dynamic systems using possible conflicts. - Belarmino Pulido; Aníbal Bregón; Carlos J. Alonso-González; Alberto Hernández; David Rubio; Luis Miguel Villarroel (Prog. Artif. Intell., 2016)