أرسل هذا في رسالة قصيرة: Algorithmic Construction of Lyapunov Functions for Power System Stability Analysis.