Requirement analysis, Architectural design and Formal verification of a multi-agent based University Information Management System. - Nadeem Akhtar; Aisha Shafique Ghori; Nadeem Salamat (CoRR, 2015)