KRONOS: A Model-Checking Tool for Real-Time Systems (Tool-Presentation for FTRTFT '98)