Realizability of Real-Time Logics