Formal methods, testing, and reuse-towards reliability conservation for software | IET Conference Publication | IEEE Xplore