creation of dependable systems 2332927