Safe-by-design in engineering