Deriving stochastic properties from behavior models defined by Monterey Phoenix | IEEE Conference Publication | IEEE Xplore