Zaslať SMS: Využíva vrcholové řízení formální informační systémy?