Mark Bouwman, Djurre van der Wal, Bas Luttik, Mariëlle Stoelinga, Arend Rensink: A Case in Point: Verification and Testing of a EULYNX Interface. Formal Aspects Comput. 35(1): 2:1-2:38 (2023)