Jiří Kosek ITS 2.0 Validation Techniques Localization Focus 12 1 2013