Text this: A framework for modeling and verifying membrane computing of biological systems /