1. Aichernig, B.K., Schumi, R.: Statistical model checking meets property-based testing. In: Proceedings IEEE International Conference on Software Testing, Verification and Validation ICST, pp. 390–400. IEEE (2017)
2. Arcaini, P., Riccobene, E., Scandurra, P.: Formal design and verification of self-adaptive systems with decentralized control. ACM Trans. Auton. Adapt. Syst. (TAAS) 11(4), 25 (2017)
3. Badouel, E., Oliver, J.: Reconfigurable nets, a class of high level Petri nets supporting dynamic changes within workflow systems. Ph.D. thesis, Inria (1998)
4. Baier, C., Katoen, J., Larsen, K.: Principles of Model Checking. MIT Press, Cambridge (2008)
5. Ben Salah, H., Benzina, A., Khalgui, M.: Verification of reconfigurable NoC under quality of service constraints. In: Proceedings IEEE 40th Annual Computer Software and Applications Conference (COMPSAC), pp. 329–334. IEEE (2016)