Diagnostics as a Reasoning Process: From Logic Structure to Software Design. - Cristani, Matteo; Olivieri, Francesco; Tomazzoli, Claudio; Viganò, Luca; Zorzi, Margherita (Journal of Computing & Information Technology, 2019)