Ipate, F., Lefticaru R., Pérez-Hurtado I., Pérez-Jiménez M. J., & Tudose C.  (2012).??Formal verification of P systems with active membranes through model checking.  Lecture Notes in Computer Science. 7184, 215-225.