The seminar is offered for students in the International Masters Programme " Critical Systems Engineering in Socio-Technical Systems”. Teaching language is English. The seminar will be given as a block seminar at the end of the semester. There will be one lecture in the beginning of the semester in that the topics will be introduced to the students. Each student is requested to choose one topic, to read the suggested papers, to search for related work, and to perform a modeling task, which is for most of the topics an air traffic controller use case. The results will then be presented in the block seminar and discussed with all other participants. Additionally, students have the option to elaborate a written report that summarizes their modeling and findings on 10 pages max (bonus).