Operation-based conflict detection. - Maximilian Koegel; Markus Herrmannsdoerfer; Otto von Wesendonk; Jonas Helming (IWMCP@ICMT, 2010)