A framework for modeling and verifying membrane computing of biological systems - Ravie Chandren a/l Muniyandi (2011)