An Integrated Model Checking Toolset for Kernel P Systems | Publicación