The following publications are possibly variants of this publication:
- PERTS: an environment for specification and verification of reactive systems: [Reliability Engineering and System Safety, 71(3), 2001, 299-310]A. K. Bhattacharjee, S. D. Dhodapkar, R. K. Shyamasundar. ress, 72(2):223, 2001. [doi]
- A Graphical Environment for the Specification and Verification of Reactive SystemsA. K. Bhattacharjee, S. D. Dhodapkar, Sanjit A. Seshia, R. K. Shyamasundar. safecomp 1999: 431-444 [doi]