Thomas Baar Non-deterministic Constructs in OCL - What Does any() Mean. 32-46 2005 conf/sdl/2005 SDL Forum http://dx.doi.org/10.1007/11506843_3 db/conf/sdl/sdl2005.html#Baar05