Author: TACAS '2000 (6th 2000 Berlin, Germany)