Eugene Asarin Thierry Cachat Alexander Seliverstov Tayssir Touili Vassily A. Lyubetsky Attenuation Regulation as a Term Rewriting System. 81-94 2007 conf/ab/2007 AB http://dx.doi.org/10.1007/978-3-540-73433-8_7 db/conf/ab/ab2007.html#AsarinCSTL07