Requirements engineering for sociotechnical systems: Case study of an Airline Operations Control Center. - Nico Zimmer; Kuldar Taveter (RESOSY@APSEC, 2021)