Andrei Borshchev Yuri Karpov Victor Roudakov Systems modeling, simulation and analysis using COVERS active objects. 220-227 1997 conf/ecbs/1997 ECBS http://csdl.computer.org/comp/proceedings/ecbs/1997/7889/00/78890220abs.htm db/conf/ecbs/ecbs1997.html#BorshchevKR97