Representing Time for Behavioral Description
Must distinguish sequence (causality) vs. passage of time
Continuous time variable:
"Quantized" time variable:
where the meaning of "at the same time" is across an interval (must be valid at the end of the interval).