WASET
Alshorman, R. , Hussak, W.. "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, (2010), 4(11), 1716 - 1723.