A Kernel P System Research Topics in Membrane Computing: After CMC 12, Before BWMC 10 Towards an integrated approach for model simulation, property extraction and verification of P systems