Verified Rust Monitors for Lola Specifications. - Bernd Finkbeiner; Stefan Oswald; Noemi Passing; Maximilian Schwenger (RV, 2020)