Kernel P Systems Modelling, Testing and Verification - Sorting Case Study | Publicación