Two Way Concurrent Buffer System without Deadlock in Various Time Models Using Timed Automata - Rohit Mishra, Md Zeeshan and Sanjay Singh (2014)