A blended modeling framework for real-time design and verification of safety-critical embedded systems - Misbah Mehboob Awan; Muhammad Waseem Anwar; Wasi Haider Butt; Farooque Azam (PLoS ONE, 2025)