Hein, C.C.HeinRitter, T.T.Ritter2022-03-102022-03-102007https://publica.fraunhofer.de/handle/publica/35639310.1109/ISADS.2007.412-s2.0-34547509994en004Global constraint checking at run-timeconference paper