Algirdas Avizienis Dependable systems of the future - What is still needed? 79-90 2004 conf/ifip/2004bis IFIP Congress Topical Sessions db/conf/ifip/ifip2004bis.html#Avizienis04