Verweilzeit-Funktionalität

#TIME <expr>   (nicht modal)

Siehe hierzu Kapitel 4.1.5 – Verweilzeit (G04), (#TIME).