Lefticaru, R., Ipate F., Valencia-Cabrera L., Turcanu A., Tudose C., Gheorghe M., et al.  (2012).??Towards an Integrated Approach for Model Simulation, Property Extraction and Verification of P Systems.  Tenth Brainstorming Week on Membrane Computing. I, 291-318.