1. Alipourfard, O., Liu, H.H., Chen, J., Venkataraman, S., Yu, M., Zhang, M.: CherryPick: Adaptively unearthing the best cloud configurations for big data analytics. In: 14th USENIX Symposium on Networked Systems Design and Implementation, pp. 363–378 (2017)
2. Alur, R., Benedikt, M., Etessami, K., Godefroid, P., Reps, T., Yannakakis, M.: Analysis of recursive state machines. ACM Trans. Programm. Lang. Syst. 27(4), 786–818 (2005)
3. George, D., Girase, P., Gupta, M., Gupta, P., Sharma, A.: Programming language inter-conversion. Int. J. Comput. Appl. 1(20), 68–74 (2010)
4. Grohmann, J., Eismann, S., Bauer, A., Züfle, M., Herbst, N., Kounev, S.: Utilizing clustering to optimize resource demand estimation approaches. In: 2019 IEEE 4th International Workshops on Foundations and Applications of Self Systems, pp. 134–139 (2019)
5. Harel, D.: Statecharts: a visual formalism for complex systems. Sci. Comput. Programm. 8(3), 231–274 (1987)