Temporal logic - a tool for system modelling (Informatica (Ljubljana), 1988)