Formal Verification of P Systems with Active Membranes through Model Checking | Publicación