An Application of Stochastic Model Checking in the Industry: User-Centered Modeling and Analysis of Collaboration in ® | part of Formal Methods for Industrial Critical Systems: A Survey of Applications | Wiley-IEEE Press books | IEEE Xplore