The Real-Time Programming Language ALDiSP-0: Informal Introduction and Formal Semantics