DAVID HAREL; MICHAL POLITI MODELING REACTIVE SYSTEMS WITH STATECHARTS - MCGRAW HILL BOOK COMPANY 1998 - 258 ISBN: 0070262055 Subjects--Topical Terms: COMPUTER SCIENCE SYSTEM SIMULATION Dewey Class. No.: 005.12 / DAV