Visual Modeling and Verification of Distributed Reactive Systems. - Asif Iqbal 004; A. K. Bhattacharjee; S. D. Dhodapkar; S. Ramesh 001 (SAFECOMP, 2003)