Requirements Engineering for Global Systems: Cultural, Regulatory and Technical Aspects Topics: Formal Methods; Requirements Engineering; Software and Systems Development Methodologies In Proceedings of the 14th International Conference on Evaluation of Novel Approaches to Software Engineering ENASE - Volume 1, 563-569, 2019 , Heraklion, Crete, Greece