Hard, Soft, Real-Time Systems and Their Use
Part of the NATO ASI Series book series (NATO ASI F, volume 127)
A slightly modified definition of Lawson, which I would like to call “strong predictability” is:
In a time interval from ti to tj the exact behaviour can be reproduced from the externally observable state existing at ti.
© Springer-Verlag Berlin Heidelberg 1994