Körner, E.E.Körner2022-03-092022-03-091999https://publica.fraunhofer.de/handle/publica/332443en004Establishing viewpoint correspondences for TINA specifications using LOTOS-based methodsconference paper