Towards Readability Aspects of Probabilistic Mode Automata Topics: Formal Methods; Model-Driven Engineering In Proceedings of the 14th International Conference on Evaluation of Novel Approaches to Software Engineering ENASE - Volume 1, 555-562, 2019 , Heraklion, Crete, Greece