Our paper Formal modelling and verifying eIDAS multi-factor authentication with interface-based threat analysis has been published on Software and Systems Modeling.