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). https://doi.org/10.1371/journal.pone.0337604