Specification of Realtime Systems Using ASTRAL