[ACHG14] Oana Andrei, Muffy Calder, Matthew Higgs and Mark Girolami. Probabilistic Model Checking of DTMC Models of User Activity Patterns. In Proc. 11th International Conference on Quantitative Evaluation of SysTems (QEST'14), volume 8657 of LNCS, pages 138-153, Springer. 2014. [Analyses user activity patterns modelled as Markov chains using PRISM.]
Notes: The original publication is available at link.springer.com.