4th Workshop on the Design and Analysis of Robust Systems