Jean-Pierre Banâtre Yann Radenac Pascal Fradet Chemical Specification of Autonomic Systems. 72-79 2004 conf/iasse/2004 IASSE db/conf/iasse/iasse2004.html#BanatreRF04