An Incremental Approach to Functional Diagnosis. - Luca Amati; Cristiana Bolchini; Laura Frigerio; Fabio Salice; William Eklow; Arnold Suvatne; Eugenio Brambilla; Federico Franzoso; Michele Martin (DFT, 2009)