Interface Automata for Shared Memory. - Johannes Gareis; Gerald Lüttgen; Ayleen Schinko; Walter Vogler (Models, Mindsets, Meta, 2018)

Fault-Free Refinements for Interface Automata. - Ayleen Schinko; Walter Vogler (Sci. Ann. Comput. Sci., 2018)

Interface Automata for Shared Memory. - Ayleen Schinko; Walter Vogler; Johannes Gareis; N. Tri Nguyen; Gerald Lüttgen (Acta Informatica, 2022)