1. About IU. https://university.innopolis.ru/en/about/. Accessed 26 Aug 2018
2. Bertrand Meyer on Wikipedia. https://en.wikipedia.org/wiki/Bertrand_Meyer. Accessed 10 Feb 2020
3. de Carvalho, D.: https://scholar.google.com/citations?user=AFRx_0kAAAAJ&hl=fr. Accessed 10 Feb 2020
4. ETH Zurich. https://ethz.ch/en.html. Accessed 12 Feb 2020
5. Abouzaid, F., Mazzara, M., Mullins, J., Qamar, N.: Towards a formal analysis of dynamic reconfiguration in WS-BPEL. Int. Dec. Tech. 7(3), 213–224 (2013)