The correctness of these types of systems depends on their temporal aspects as well as their functional aspects.
Korrektheden af disse typer af systemer afhænger af tidsmæssige aspekter såvel som der funktionelle aspekter.