State and Time Granularity in Systems Description: An Example