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