Finite state machine for vehicle detection in highway surveillance systems | IEEE Conference Publication | IEEE Xplore