Dependable CPS Lab