1. Alur, R., Henzinger, T. A., & Vardi, M. Y. (2015). Theory in practice for system design and verification. ACM Siglog News, 2(1), 46–51.
2. Anderson, T. (2004). Teaching in an online learning context. Theory and practice of online learning, 273.
3. Arbaugh, J. B. (2007). An empirical verification of the Community of Inquiry Framework. Journal of Asynchronous Learning Networks, 11(1), 73–85.
4. Bartoletti, M., Degano, P., Ferrari, G. L., & Zunino, R. (2015). Model checking usage policies. Mathematical Structures in Computer Science, 25(03), 710–763.
5. Bojanowski, C. (2016). Verification, validation and optimization of finite element model of bus structure for rollover test.