Real-time with pause

Redirect to:

• Timekeeping in games#Pausable real-time