A blended modeling framework for real-time design and verification of safety-critical embedded systems

• Misbah Mehboob Awan ,

  Contributed equally to this work with: Misbah Mehboob Awan, Muhammad Waseem Anwar, Wasi Haider Butt, Farooque Azam

  Roles Conceptualization, Investigation, Methodology, Resources, Software, Validation, Writing – original draft, Writing – review & editing

  * E-mail: mmehboob.cse19ceme@ce.ceme.edu.pk

  Affiliation Department of Computer and Software Engineering, College of Electrical and Mechanical Engineering, National University of Sciences and Technology (NUST), Islamabad, Pakistan

  https://orcid.org/0000-0003-0598-6959

  ⨯
• Muhammad Waseem Anwar ,

  Contributed equally to this work with: Misbah Mehboob Awan, Muhammad Waseem Anwar, Wasi Haider Butt, Farooque Azam

  Roles Conceptualization, Formal analysis, Methodology, Supervision, Writing – review & editing

  Affiliation Department of Computer and Software Engineering, College of Electrical and Mechanical Engineering, National University of Sciences and Technology (NUST), Islamabad, Pakistan

  ⨯
• Wasi Haider Butt ,

  Contributed equally to this work with: Misbah Mehboob Awan, Muhammad Waseem Anwar, Wasi Haider Butt, Farooque Azam

  Roles Conceptualization, Formal analysis, Project administration, Supervision, Validation, Writing – review & editing

  Affiliation Department of Computer and Software Engineering, College of Electrical and Mechanical Engineering, National University of Sciences and Technology (NUST), Islamabad, Pakistan

  ⨯
• Farooque Azam

  Contributed equally to this work with: Misbah Mehboob Awan, Muhammad Waseem Anwar, Wasi Haider Butt, Farooque Azam

  Roles Formal analysis, Funding acquisition, Project administration, Validation, Writing – review & editing

  Affiliation Department of Computer and Software Engineering, College of Electrical and Mechanical Engineering, National University of Sciences and Technology (NUST), Islamabad, Pakistan

  https://orcid.org/0000-0002-7421-7400

  ⨯