Author: International Conference on Tools and Algorithms for the Construction and Analysis of Systems (4th 1998 Lisbon, Portugal)