Invia SMS: Specification and design methodology for real-time embedded systems