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