This supplement discusses the use of model-based development and verification in the software life cycle for software that is produced in accordance with ED-12C. If the applicant is planning to use model-based development and verification, then the applicant should comply with this supplement. This supplement does not provide guidance for models developed and/or used only for the software verification process.