Tomas Hruska, Petr Kolencik, Michal Mácel: Behavioral Safety in a Model With Multiple Class Objects. SOFSEM 1998: 360-370