From Requirements to Operation: Components for Risk Assessment in a Pervasive System of Systems | IEEE Conference Publication | IEEE Xplore