Behavioral Models for the Analysis of Dynamic Wireless Charging Systems for Electrical Vehicles