tacas05-icb.pdf