A probabilistic verification framework of SysML activity diagrams | IEEE Conference Publication | IEEE Xplore