High Level Systems Validation Using Hierarchical Message Sequence Charts Dr. Praveen Murthy, Fujitsu Labs of America Calit2 Auditorium, University of California, Irvine April 26, 2007 Abstract