Harel, DavidHofmann, Peter P.Schürr, Andy2020-01-072020-01-072001https://dl.gi.de/handle/20.500.12116/30820enOn the behavior of complex object-oriented systems􏰀Text/Conference Paper1617-5468