Achieving Consistency and Reusability in Presentation Layer Design using Formal Methods and Design Patterns. - Faheem Sohail; Farooq Zubairi; Nabeel Sabir; Nazir Ahmad Zafar (SCSS (1), 2008)

Designing Verifiable and Reusable Data Access Layer Using Formal Methods and Design Patterns. - Faheem Sohail; Farooq Zubairi; Nabeel Sabir; Nazir Ahmad Zafar (ICCMS, 2009)