A stochastic extension of a behavioural subset of UML statechart diagrams | IEEE Conference Publication | IEEE Xplore