Rohit Mishra, Md Zeeshaan, and Sanjay Singh, “Two Way Concurrent Buffer System without Deadlock in Various Time Models Using Timed Automata”, ijcisim, vol. 6, p. 11, Jan. 2014.