Zaslať SMS: Symbolic model checking /