Kdykoli má vlak zpoždění, může to způsobit zpoždění dalších vlaků. Například se může stát, že na daný vlak musí čekat další spoj. Pohyb zpožděného vlaku mimo obvyklý jízdní řád může také způsobit kapacitní problém na jeho trati. Tradičně se takovéto důsledky zpoždění analyzují pomocí náhodných (tj. Monte-Carlo) simulací. Nevýhoda tohoto přístupu ale je, že se snadně stane, že ignoruje důležité rohové případy. Formalismus časovaných automatů se tomuto problému vyhýbá použitím symbolické reprezentace, která umožňuje vyčerpávající simulaci.
U tohoto tématu student vytvoří model zpoždění vlaků na základě časovaných automatů a zkoumá vlastností simulace výsledného modelu.