Behavioral Safety in a Model With Multiple Class Objects. - Tomas Hruska; Petr Kolencik; Michal Mácel (SOFSEM, 1998)