Text this: Architecture and verification of enhanced deterministic networking oriented large-scale