Ipate, F., Lefticaru R., Pérez-Hurtado I., Pérez-Jiménez M. J., & Tudose C.  (2011).??Formal VeriÌation of P Systems with Active Membranes through Model Checking.  12th International Conference on Membrane Computing (CMC12).  241-252.