Time Map Phonology Finite State Models and Event Logics in Speech Recognition | EKB DL