Pinna, M.G.M.G.PinnaPoigné, A.A.Poigné2022-03-092022-03-091993https://publica.fraunhofer.de/handle/publica/322029en004005006Modeling and specifying reactive behaviour for information systemsconference paper