Formalizovaný model diagnostického systému - Kupec, Peter, 1983- (STU v Bratislave FEI, 2009)