Timing diagrams: Formalization and algorithmic verification
reversal bounded counter machine languages
scientific article; zbMATH DE number 1343513