DEVSpecL: DEVS specification language for modeling, simulation and analysis of discrete event systems