K. Rajput, B. Krishnamurthy, and S. G.. International Journal on Recent and Innovation Trends in Computing and Communication, 3 (4):
2343--2348(April 2015)
Y. Oh, D. Lee, S. Kang, and J. Lee. 5th IEEE/ACM International Conference on Formal Methods and Models for Codesign, 2007. MEMOCODE 2007, page 87--88. IEEE, (June 2007)
J. Hart, and M. Shepperd. TR02-06. School of Design, Engineering and Computing,
Bournemouth University, Royal London House, Christchurch Rd, Bournemouth, BH1
3LT, UK, (July 2002)