Text this: Model checking agent of SMS management system for direct sales and network marketing