URN:NBN:SI:doc-XAT6TXSC1988documents/doc/X/URN_NBN_SI_doc-XAT6TXSC_001.pdfdocuments/doc/X/URN_NBN_SI_doc-XAT6TXSC_001.txt12 (1988), 4 ; str. 21-24article0350-55964551428URN:NBN:SI:doc-XAT6TXSCengSlovene Society InformatikaInformatica (Ljubljana)InCTemporal logic - a tool for system modelling