Formal Requirements Specification: Z Notation Meta Model Facilitating Model to Model Transformation. - Misbah Mehboob Awan; Farooque Azam; Muhammad Waseem Anwar; Yawar Rasheed (ICSIE, 2020)

Investigation of Latest CASE Tools for Database Engineering: A Systematic Literature Review. - Nazish Yousaf; Madeha Arif; Misbah Mehboob Awan; Wasi Haider Butt (FIT, 2022)

Seamless Runtime Transformations from Natural Language to Formal Methods - A usecase of Z-Notation. - Misbah Mehboob Awan; Wasi Haider Butt; Muhammad Waseem Anwar; Farooque Azam (SoSE, 2022)