Rohit Mishra et al. 2014. Two Way Concurrent Buffer System without Deadlock in Various Time Models Using Timed Automata. International Journal of Computer Information Systems and Industrial Management Applications. 6, (Jan. 2014), 11.