A Methodology for Model-Based Certification - Silverman, Jay Albert (ProQuest Dissertations and Theses, 2025)