I'm interested to know what actually happened. It sounds like they just ran out of power?
Since the 12v battery is (presumably) powered from an alternator from the drivetrain the only way it could get flat while driving is if there's a fault with the car.