Title: Engineering of Complex Computer Systems (Iceccs 2000)