Zaslať SMS: Grafický editor pravdepodobnostných automatov a diagnózerov