Safety Assessment of Networked Vehicle Platoon Controllers - Practical Experiences With Available Tools.