Gross, TomTomGrossMüller, Anna-LenaAnna-LenaMüller2021-09-202021-09-202021978-3-030-85540-6https://fis.uni-bamberg.de/handle/uniba/51556engA Formal Model of Availability to Reduce Cross-Domain Interruptionsconferenceobject10.1007/978-3-030-85540-6_3