发送短信 : A framework for modeling and verifying membrane computing of biological systems /