I disagree. I think they intended your reading, but if I attempt to read it as strictly as possible I'd say they have defined a representation of a particular

I disagree. I think they intended your reading, but if I attempt to read it as strictly as possible I'd say they have defined a representation of a particular set of points in time, not intervals, and the "inclusive" in the definition of notAfter tells us that the interval is closed, not that it extends to the beginning of the following second.