Misbah Mehboob Awan, Muhammad Waseem Anwar, Wasi Haider Butt, Farooque Azam. "A blended modeling framework for real-time design and verification of safety-critical embedded systems." PLoS ONE, 2025. doi:10.1371/journal.pone.0337604