1. Checking Safety Properties using Compositional Reachability Analysis;Cheung;ACM Transactions on Software Engineering Methodology (TOSEM),1999
2. Behaviour Analysis of Distributed Systems using the Tracta Approach;Giannakopoulou;Automated Software Engineering Journal,1999
3. The Evolving Philosophers Problem: Dynamic Change Management;Kramer;IEEE Transactions on Software Engineering,1990
4. Graphical Configuration Programming;Kramer;IEEE Computer,1989
5. Worldwide Series in Computer Science;Magee,1999