TITLE     : X-by-construction meets runtime verification
AUTHOR(S) : Ter Beek M.  H., Cleophas L., Schaefer I., Leucker M.
TYPE      : Conference article
YEAR      : 2022
CODE      : 471908

*** DO NOT EDIT THIS FILE ***