Hello, I want to generate a 25 ms pulse every negative edge of the signal for Simulink. How can I do that? Thanks!

I am developing a controller for an attendance counter with two sensors at the door to indicate an entry or exit of a person. I am using Simulink to simulate this activity. The sensor provides a signal which cuts off when a person passed through it, thus the controller should be able to recognize a negative edge from that signal. Now, I want to generate a 25 ms pulse every negative edge of the sensor output so that I could use and AND block with the second sensor. The purpose of the pulse is to indicate that sensor1 is triggered and it waits for sensor2 to be triggered in order to know whether the counter should count up or down. Help?