This is so sad news. I just finished his book about the dependable systems in security engineering.