devicewheel_rotation_sensor
features
wheel_pulse: out data port;
end wheel_rotation_sensor;