SMS: Automated technology for verification and analysis : 10th International Symposium, ATVA 2012, Thiruvananthapuram, India, October 3-6, 2012. Proceedings / Supratik Chakraborty, Madhavan Mukund (eds.).