Control Formal Framework For Rail Recharging Work On The Tcl Network Tram Lines.