1. Baier, C., Katoen, J.P.: Principles of Model Checking. The MIT Press, Cambridge (2008)
2. Bell, M., Chalmers, M., Fontaine, L., Higgs, M., Morrison, A., Rooksby, J., Rost, M., Sherwood, S.: Experiences in logging everyday App. use. In: Proceedings of Digital Economy 2013. ACM (2013)
3. Girolami, M., Kabán, A.: Simplicial mixtures of Markov chains: distributed modelling of dynamic user profiles. In: Thrun, S., Saul, L.K., Schölkopf, B. (eds.) Advances in Neural Information Processing Systems 16 (NIPS 2003), pp. 9–16. MIT Press (2004)
4. Dempster, A.P., Laird, N.M., Rubin, D.B.: Maximum likelihood from incomplete data via the EM algorithm. J. Roy. Stat. Soc. Ser. B (Methodol.) 39(1), 1–38 (1977)
5. Lecture Notes in Computer Science;M Kwiatkowska,2007