Describir: Grafický editor pravdepodobnostných automatov a diagnózerov