Estadísticas de Editor de circuitos digitales en lenguaje Modelica