URN:NBN:SI:doc-7ZSNAKI41995Colnarič, MatjažHalang, Wolfgang A.Verber, Domendocuments/doc/7/URN_NBN_SI_doc-7ZSNAKI4_001.pdfdocuments/doc/7/URN_NBN_SI_doc-7ZSNAKI4_001.txt119articlestr. 59-690350-55967358724URN:NBN:SI:doc-7ZSNAKI4engSlovensko društvo InformatikaInformatica (Ljubljana)InCcomputer scienceinformacijski sistemiračunalniška obdelavaračunalništvoSupporting high integrity and behavioural predictability of hard real-time systems