Safety-Critical Systems: Problems, Process and Practice