Awan, M. M., Anwar, M. W., Butt, W. H., Azam, F. (2025). A blended modeling framework for real-time design and verification of safety-critical embedded systems. PLoS ONE. https://doi.org/10.1371/journal.pone.0337604