rtlola-interpreter (cargo): An interpreter for RTLola specifications.
Keywords: interpreter|verification|monitoring