Towards a fractionation-based verification: application on SysML activity diagrams.