Rafat Alshorman and  Walter Hussak,  Specifying a Timestamp-based Protocol For Multi-step Transactions Using LTL.   journal   = {International Journal of Computer and Information Engineering}, [online]. World Academy of Science, Engineering and Technology.
    November 2010, vol. 47(11). 1716 - 1723
    [viewed 13 May 2021]. Available from: https://publications.waset.org/pdf/3317.