Model Checking Biological Systems Described Using Ambient Calculus. - Radu Mardare; Corrado Priami; Paola Quaglia; Oleksandr Vagin (CMSB, 2004)