Alshorman, R. , Hussak, W. (2010). 'Specifying a Timestamp-based Protocol For Multi-step Transactions Using LTL'. World Academy of Science, Engineering and Technology, Open Science Index 47, International Journal of Computer and Information Engineering, 4(11), 1716 - 1723.