Logic Based Abstractions of Real-time Systems