Andrei Borshchev, Yuri Karpov, Victor Roudakov. Systems modeling, simulation and analysis using COVERS active objects. In 1997 Workshop on Engineering of Computer-Based Systems (ECBS 97), March 24-28, 1997, Monterey, CA, USA. pages 220-227, IEEE Computer Society, 1997. [doi]
Abstract is missing.