Will CASE help me develop more reliable software? | IET Conference Publication | IEEE Xplore