Orodje za ovrednotenje vgrajenih sistemov na podlagi abstraktnega modeliranja sistema