XVERSA: An Integrated Graphical and Textual Toolset for the Specification and Analysis of Resource-Bound Real-Time Systems. - Clarke, Duncan; Ben-Abdallah, Hanêne; Lee, Insup; Xie, Hong-liang; Sokolsky, Oleg (1996)