Henrik Pilegaard Hanne Riis Nielson Flemming Nielson Context Dependent Analysis of BioAmbients. 2006 Simulation and Verification of Dynamic Systems http://drops.dagstuhl.de/opus/volltexte/2006/709 conf/dagstuhl/2006P6161 db/conf/dagstuhl/P6161.html#PilegaardNN06a