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