HMI-Formal-Structure October 3, 2017 1200 × 823 HMI-Formal-Structure Overview of the analysis phase of systems engineering as realized within an actor-actor interaction paradigm Overview of the analysis phase of systems engineering as realized within an actor-actor interaction paradigm