Book Tools And Algorithms For The Construction And Analysis Of Systems: 8Th International Conference, Tacas 2002 Held As Part Of The Joint European Conferences On Theory And Practice Of Software, Etaps 2002 Grenoble, France, April 8–12, 2002 Proceedings