Toward `verifying' a Water Treatment System | Read Paper on Bytez