Invia SMS: Information Systems and Formal Models :