Text this: Grafický editor pravdepodobnostných automatov a diagnózerov