This appendix includes all materials used in the expert review conducted on the formal modeling method for gaze guiding and SOPs. This should be used as reference and to support reproducibility of the empirical evaluation conducted in the work. The appendix includes the following documents:-Information on the experiment -Introduction to the scenario (the control of a nuclear power plant) and the modeling method, which includes examples -Exercise sheet that needed to be solved by the review's participants -Questionnaire to be filled out including various free-text fields as well as some items considering general usability and scalability of the method -Two templates (system state and gaze guiding tool template) to support manual creation of gaze guiding and system state modelsFor the actual description of the experiment, please refer to the paper.Despite its use in terms of the expert review, the material can be used to explain and to learn the method.