Title: Engineering of Complex Computer Systems (Iceccs 2001)