A blended modeling framework for real-time design and verification of safety-critical embedded systems - Misbah Mehboob Awan (PLoS One)