1. Adibi, M.: Test systems task force: IEEE 300-bus test case (1993).
http://icseg.iti.illinois.edu/ieee-300-bus-system
2. Amari, B.M.: Handbook of Performability Engineering. Springer, London (2008). doi:
10.1007/978-1-84800-131-2
3. Lecture Notes in Computer Science;L Brenner,2005
4. Buchholz, P.: Exact and ordinary lumpability in finite Markov chains. J. Appl. Probab. 31(1), 59–75 (1994)
5. Chiaradonna, S., Di Giandomenico, F., Masetti, G.: Efficient non-anonymus composition operator for modeling complex dependable systems. In: Tredan, G. (ed.) 12th European Dependable Computing Conference (EDCC 2016), Fast Abstracts Proceedings, Gothenburg, vol. abs/1608.05874, September 2016