Lilian Janin Doug Edwards CSP Transactors for Asynchronous Transaction Level Modeling and IP Reuse. 154-168 2007 conf/iccsa/2007-3 ICCSA (3) http://dx.doi.org/10.1007/978-3-540-74484-9_14 db/conf/iccsa/iccsa2007-3.html#JaninE07