Automated Technology for Verification and Analysis 12th International Symposium, ATVA 2014, Sydney, NSW, Australia, November 3-7, 2014, Proceedings - Cassez, Franck; Raskin, Jean-François (Springer International Publishing : Imprint: Springer, 2014)