Describir: Formalizovaný model diagnostického systému