SMS dit: Software reliability determination for conventional and logic programming / Alireza Azem.