Functional Hazard Assessment in Product-Lines – A Model-Based Approach - Research Database, The University of York Other