@inproceedings{Label,
   author = {Gross, Tom and Mueller, Anna-Lena},
   title = {A Formal Model of Availability to Reduce Cross-Domain Interruptions},
   booktitle = {In Proceedings of the 5th International Conference on Human Interaction and Emerging Technologies - IHIET 2021 (Aug. 27-29, Virtual Event)},
   address = {Heidelberg},
   publisher = {Springer-Verlag},
   pages = {20-27},
   isbn = {978-3-030-85539-0},
   doi = {10.1007/978-3-030-85540-6_3},
   year = {2021}
}