أرسل هذا في رسالة قصيرة: Formal analysis of weighted longitudinal routers network via scale-free network: a case study