Specification and proof in real-time CPS - Davies, J. (Cambridge University Press, 1993)
βιβλιογραφια:σσ.175-180