UML based Formal Model of Smart Transformer Power System Journal title: International Journal of Advanced Computer Science & Applications Authors: Muniba Sultan, Amna Pir, Nazir Ahmad Zafar Subject(s):