Thesis title: A Tool for Model-Based EngineeringThesis committee:Lui Sha, Director/ChairRalph JohnsonMarco CaccamoRichard Bradford