SeMo-TS: Testing OPC UA server models in simulated environments. - Sebastian Rohjans; Sebastian Lehnhoff; Mathias Uslar; Plamen M. Rusinov (IECON, 2012)