SCHOOL OF COMPUTING The 15 th Overture Workshop: New Capabilities and Applications for Model-based Systems Engineering J. S. Fitzgerald, P. W. V. Tran-Jørgensen, and T. Oda (Editors) TECHNICAL REPORT SERIES No. CS-TR- 1513-2017