Systems modeling, simulation and analysis using COVERS active objects | IEEE Conference Publication | IEEE Xplore