Dependable Systems Laboratory (DSLAB)