COVERS - A Tool for the Design of Real-time Concurrent Systems. - Andrei Borshchev; Yuri G. Karpov; Victor Roudakov (PaCT, 1995)

COVERS 3.0 - An Object-Oriented Environment for Modeling, Simulation and Analysis of Real-Time Concurrent Systems. - Andrei Borshchev; Yuri G. Karpov; Victor Roudakov (DIS-RT, 1997)

Systems modeling, simulation and analysis using COVERS active objects. - Andrei Borshchev; Yuri G. Karpov; Victor Roudakov (ECBS, 1997)

Analysis of a Distributed Election Algorithm Using COVERS 3.0 - A Case Study. - Andrei Borshchev; Yuri G. Karpov; Victor Roudakov; Alexei Filippov; Alexei Sintotskij; Sergei Fedorenko (PaCT, 1997)

COVERS 3.0 - A C++ Based Graphical Modeling and Simulation Tool. - Andrei Borshchev; Yuri G. Karpov; Victor Roudakov; Alexei Filippov; Alexei Sintotskij; Sergei Fedorenko (PaCT, 1997)

Creating and Running Mobile Agents with XJ DOME. - Kirill Bolshakov; Andrei Borshchev; Alex Filippoff; Yuri G. Karpov; Victor Roudakov (PaCT, 1999)