1. Baier, C., Katoen, J.P.: Principles of Model Checking. MIT Press, Cambridge (2008)
2. Lecture Notes in Computer Science;M Kwiatkowska,2007
3. Safie, F.M.: Probabilistic modeling of solar power systems. In: Annual Reliability and Maintainability Symposium, 1989. Proceedings, pp. 425–430. IEEE (1989)
4. de Magalhães, R.O.: Esudo de avalanche térmica em um sistema de carga e descarga de baterias em satélites artificiais. Ph.D. thesis, INPE (2012)
5. Grunske, L.: Specification patterns for probabilistic quality properties. In: ACM/IEEE 30th International Conference on Software Engineering, ICSE 2008, pp. 31–40. IEEE (2008)