LevelCrossingDetectorDetectsGlitches
The LevelCrossingDetectorDetectsGlitches model shown using Vergil, the Ptolemy II schematic editor: