Transforming functional requirements and risk information into models for analysis and simulation | IEEE Conference Publication | IEEE Xplore