Author: International Symposium of Formal Methods Europe (10th 2001 Berlin, Germany)