2012 Workshop on Dependable Transportation Systems/Recent Advances in Software Dependability