Towards a Method to Operationalize Modelling, Verification, and Evaluation of Architectural Solutions in the Field of Nuclear Critical Infrastructure Engineering. Issue 4 (12th January 2022)