Modeling Automatic Emergency Braking System Using Fuzzy Timed Petri Nets Based on the 3-Second Rule | IEEE Conference Publication | IEEE Xplore