Mitra, Sayan HIOA-a specification language for hybrid input/output automata by Sayan Mitra - Bangalore : Indian Institute of Science, 2001. - i, 126 p. : ill. Includes bibliographical references PhD;2001;Computer Science and Automation Dewey Class. No.: 005.29 P01